Has anyone documented this proof in detail yet?
I've been busy so I haven't seen everything coming through the past few days.
Sorry if this is redundant, but I couldn't find anything in notables…
Either way, I wanted to submit this for anons to review so we have it documented at least.