for r being Real
for k being natural Number st ( r = k or r = - k ) holds
r is Integer