theorem Th6: :: NAT_D:6

for i being natural Number holds
( i divides 0 & 1 divides i ) by INT_2:12;