==> geometry/lattice/equilateral.p <==
Can an equlateral triangle have vertices at integer lattice points?