Technically this is a theorem, but it seems so obvious that it's unclear that it needs a proof. In this episode Christopher Danielson points out that polygons have same number of sides as vertices. Many shapes make an appearance.