theorem :: SIN_COS9:43

( arctan 0 = 0 & arctan . 0 = 0 )