チューリング 不動点演算子 証明

チューリングの不動演算子についての証明を画像に示す。
texでドキュメントをおこそうとしたけど、半年前からまったく触ってなかったので、ドキュメント作成が大変だった（まだできていない）。
現時点では、画像をアップロード。

問題

証明