theorem Th12: :: NAT_1:12

for i, j, h being natural Number st i <= j holds
i <= j + h