1.置き換え
置き換えでタイプ1からタイプ5の形になるようにする。
置き換え例: 1 a n = b n
2.具体化による推定
a n を 具体的に書き出す推定証明 の手順で求める。証明には帰納法を使うとよい。