theorem Th50: :: INT_1:52

for a, b being Integer st a < b holds
a <= b - 1