theorem Th9: :: BINARI_4:9

for g, h, i being Integer st g <= h + i & h < 0 & i < 0 holds
( g < h & g < i )