consider
t
being
Real
such that
A2
:
F
is
t
-periodic
by
Def2
;
r
+
F
is
t
-periodic
by
A2
,
Th8
;
hence
r
+
F
is
periodic
;
:: thesis:
verum