Theorem gcd_same

Modification history