Euler's polyhedron formula