theorem Th41: :: SIN_COS9:41

( tan . 0 = 0 & tan 0 = 0 )