ジョンソンの立体
Equilateral square pyramid, Johnson solid J1.