theorem Th16: :: MOEBIUS1:16

for k being Nat
for n being non zero Nat st support (ppf n) c= Seg (k + 1) & not support (ppf n) c= Seg k holds
k + 1 is Prime