在$n=3$时platonic solid有5种是大家都会证明的。 而在$n=4$时platonic solid有6种，在更大的时候只有4种，没有找到相关的资料，它们是如何证明的呢？