theorem Th24: :: SIN_COS:24

( dom sin = REAL & dom cos = REAL ) by FUNCT_2:def 1;