Rizzi's_proof.pdf