David Stutz proof using finite projective geometry