Brilliant, User:Bill! Finally a proof I can understand readily :) JFG (talk) 01:45, 20 January 2022 (UTC)
Great! Bill (talk) 01:52, 20 January 2022 (UTC)
Needs better formatting for LaTeX.