theorem Th19: :: QUATERNI:26

for z being Quaternion st Rea z = 0 & Im1 z = 0 & Im2 z = 0 & Im3 z = 0 holds
z = 0q