2.2 coordinate proof

8 months ago