==> geometry/lattice/area.p <==
Prove that the area of a triangle formed by three lattice points is integer/2.