User blog comment:Googleaarex/Proof of ordinal tetration/@comment-29915175-20170804155720/@comment-5029411-20170804195415

Yes.