theorem EXpReq12: :: FUZZY_5:4

for x being Real st exp x = 1 holds
x = 0