formula_32がformula_1上の整列順序であることは、最初に述べた標準的な形の数学的帰納法を用いることで証明される。