theorem Th42: :: SIN_COS9:42

( cot . (PI / 2) = 0 & cot (PI / 2) = 0 )