3 ms·Did he prove the lemma or did he leave it as an exercise :-) ?by ninguem2 5y agoDid he prove the lemma or did he leave it as an exercise :-) ?