Yup the theorem gets proven in the book. It's very very verbose but the content is clearly there.

"I am a Strange Loop" elaborates a bit on the parts which may have been confusingly explained, notably both in the proof of the theorem and in the author's AI philosophy.