theorem :: COUSIN:19

for n being Nat holds Euclid n is complete by Th13;