「三次元空間内の格子点を3頂点とする正三角形の辺長の二乗は、6で割ると割り切れるか2余る」
この命題が正しいならば証明し、正しくないならば反例を挙げよ