theorem Th9: :: ARYTM_3:9

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