theorem Th27: :: INT_2:27

for a, b being Integer st 0 < b & a divides b holds
a <= b