theorem Th29: :: SIN_COS7:29

for x being Real st x <> 0 holds
exp_R x <> 1