Prove the GCD property for two numbers with \( a > b \) · GCD and LCM. Mutual primality | Problems