Proofs

digital proof, hommage to Kenneth Martin