>>17
いやマジでこれくらいしかしらん
順序数って割り算できるんやっけ