Pick's theorem (source code)

= Pick's theorem
{c}

For a simple <polygon> whose vertices are <lattice points> in $\mathbb Z^2$, its <area> is $A=I+B/2-1$, where $I$ counts interior <lattice points> and $B$ counts boundary <lattice points>.