最終回で正20面体の(鏡映を含めた)対称性が S_5 といってたけどミスだろう
A_5×S_2 のはずだ