In the "commentatio" (note presented to the Russian Academy) in which his theorem on polyhedra (on the number of faces, edges and vertices) was first published Euler gives no proof. In place of a proof, he offers an inductive argument: he verifies the relation in a variety of special cases. There is little doubt that he also discovered the theorem, as many of his other results, inductively.