User blog comment:ArtismScrub/Hyper-Alpha Notation Part III: Full Circle/@comment-30754445-20180307182140/@comment-30118230-20180308191753

It's not hard. What's hard is to prove/show that,within a given FS,a "catching point" of FGH and SGH exist and even harder to prove that the first one is precisely $$\psi(\Omega_\omega)$$