consider
t
being
Real
such that
A3
:
F
is
t
-periodic
by
Def2
;
F
^2
is
t
-periodic
by
A3
;
hence
F
^2
is
periodic
;
:: thesis:
verum