Greatest Common Divisor Proofs