xyz空間において、相異なる格子点が９つある。
（なお、格子点とは・・・・ry）
この９点から２点を選びその点と点を結ぶ線分（３６本）を考える。

このうち、線分の中点もまた、格子点であるような線分が必ず存在することをしめせ。