5 proofs

>