Johnson solid
側面が正三角形である正四角錐は、ジョンソンの立体の1番目である。ジョンソンの立体となる角錐は四角錐と五角錐のみである。(三角錐は正四面体、六角錐は正三角形だと重なってしまう。)