theorem Th1: :: TOPREALB:1
for a, b, r being Real holds sin ((a * r) + b) = (sin * (AffineMap (a,b))) . r