[math-fun] Music theory