theorem Th44: :: BORSUK_7:54

for s being Real holds (Rotate s) . (0. (TOP-REAL 2)) = 0. (TOP-REAL 2)