B. durch Nachrechnen), dass die beiden den Pyramidenspitzen entsprechenden Ecken und die zehn Ecken des Antiprismas kongruent (mit gleichen Flächenwinkeln) sind, also tatsächlich ein völlig regelmäßiges (ein reguläres) Polyeder vorliegt.