ECS #71: Euler's counting of triangulations