[math-fun] Coffee and theorems