theorem Th34: :: INT_1:34

for r being Real holds
( [\r/] = [/r\] iff r is integer )