One should add the trivial Kelly proof using the minimality of the distance between one point and a line which does not contain it.