theorem Th34: :: WALLIS01:37

(sin (#) sin) + (cos (#) cos) = 1. (RAlgebra REAL)