( dom sin = REAL & sin | REAL is continuous ) by Th73, FDIFF_1:33, FUNCT_2:def 1;
hence sin is continuous by RELAT_1:98; :: thesis: verum