theorem Th49: :: SIN_COS6:49

cos .: [.0,PI.] = [.(- 1),1.] by COMPTRIG:32, RELAT_1:115;