Talk:Fitting lemma