[weaker_indirect_proof.png]