theorem :: SIN_COS9:43
( arctan 0 = 0 & arctan . 0 = 0 )