decided to put proof of F(x) . (y-x) >= 0 on the picture slide, and deleted commented-out proof