ツォルンの補題
By transfinite induction or Zorn's lemma it is sufficient to consider the case dim formula_4.