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