Pick's theorem