[indirect_proof.png]