Szemerediのregularity lemmaを使う証明はどうも説明しづらい．Quantifier (∀や∃) が平気で7つか8つぐらい付いてくるので． 2008-07-09 - okamoto7の日記 あとは……inductive hypothesisが15個くらいあるinductionがきちんと回っていることを確認するだけです…