click here to view Robin’s proofs