Mathematics
Proofs
Techniques
Direct Proofs
Proof by Cases
Integers
Divisibility Properties
Bézout's identity - gcd(a,b) = ak+bl
Greatest Common Divisors