State/Greatest common divisors can be computed pairwise

 =Proof=