for n being natural Ordinal holds
( n divides {} & 1 divides n )