let
z
'
n
=
power
( ( ** )
z0
)
n
unit
;;
z
' 99;;