Banned for not pursuing the proof more rigorously.