Brilliant, User:Bill! Finally a proof I can understand readily :) JFG (talk) 01:45, 20 January 2022 (UTC)