This formula arises from known results in triangular lattice geometry: the number of interior points in a triangle of side $n$ is $\fracn(n-2)(n-1)6$, or equivalently $\frac(n-1)(n-2)2$. - Leaselab