脳内で整列可能定理を再構成する遊びしてる