Useless lemmas and theorems are commented.