Euler's polyhedral formula