State/Greatest common divisors can be found with the Euclidean algorithm

 =Proof=

=Metadata=