Talk:Mautner's lemma