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