十八世纪瑞士数学家欧拉证明了简单多面体中顶点数（V）、面数（F）、棱数（E）之间存在的一个有趣的关系式： ， 被称为欧拉公式．若一个多面体的面数比顶点数少8，且有30条棱，则这个多面体的顶点数是．