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