sinh | REAL is continuous by Th34, FDIFF_1:25;