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