Euler's polyhedron theorem