Should be easy to prove

Comments are closed.