theorem Hope5: :: FUZNUM_1:13

for x being Real holds (AffineMap (0,0)) . x <> 1