Prove the GCD property for two numbers with \( a > b \) · Number Theory | Problems