nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqhyqvr64x2qh4jkkg6z5c7ep7gsjpvcrghd0amn9pvv8krhgk3mwqzdzccc (nprofile…zccc) nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqknzsux7p6lzwzdedp3m8c3c92z0swzc0xyy5glvse58txj5e9ztqaufa4k (nprofile…fa4k)
I suspect you can prove generalizations of Pick's theorem by induction: You "glue" together disjoint shapes that already satisfy Pick. You could create an abstract concept of "move", as any operation that preserves all the numbers in the Pick formula. The "minus 1" term should be generalized to "minus number of disjoint objects".
Maybe even generalize to higher dimensions, defining volumes etc.