ただの感想ですが、　完全補題を張ってweak-inductionというときは、数列が火花を散らすようにいきますがあれはただの勘違いですか、それとも、たいていはあんな感じなんですか...