Max’s proofs 9