trivial_proof

安

@trivial_proof