[math-fun] Pick theorems