有限射影平面になるから。