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