proof_100A6720