ソートしても一般性を失わない