Comment Comment by ninguem2 Did he prove the lemma or did he leave it as an exercise :-) ? parent ninguem2 5 years ago
