>>355
残りの手順が明確になることに文句はないんでしょ
残りの順序の性質が全部出てくる便利な定理なんだから自明なわけがないし
非自明なところに文句言われても知らんがなとしか言いようがない