そんでもって実はふぃっしゅ５はこんな入れ子の形で表される
(λx.x(λx.x(･･･(λx.x(λx.xx)x)･･･)x)x)
要するに対角化の繰り返し。
実はこんなに単純だったのか･･･ＯＴＬ