proof_100A5771