theorem Kici1: :: FUZNUM_1:15

for b, a being Real holds (AffineMap (0,b)) . a = b