theorem Cosik: :: MOEBIUS3:46

for n being non zero Nat holds (SqF n) |^ 2 = TSqF n