David Stutz proof using finite projective geometry

Select language to translate this lyric