Prove 2.58 prove

Prove 2.58