対角線論法はね、はみ出しとかで理解した気になっている間は理解しているなんて思わないほうがいいよ。