theorem :: COUSIN:22

for n being Nat holds Euclid n is complete