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