Proving Pick's Theorem