Why are the bitruncated and runcinated {5/2,5,5/2} degenerate? —Tamfang (talk) 06:27, 8 May 2018 (UTC)Reply