Givner & Kaye - Proofs