Euclid's theorem (source code)

= Euclid's theorem
{wiki=Euclid's_theorem}