theorem Th45: :: INT_1:47

for r being Real st r <> 0 holds
[\(r / r)/] = 1