trivial_proof

@trivial_proof