theorem Th2: :: TOPREALB:2

for a, b, r being Real holds cos ((a * r) + b) = (cos * (AffineMap (a,b))) . r