>>822
同じことを、正n角形の隣接した３頂点からなる三角形について言えば、
「正n角形の隣接する３頂点がいずれも格子点となることはない」
という、より強い命題が示せると思うが。