theorem Th14: :: NAT_1:14

for i being natural Number st i < 1 holds
i = 0