⁵⁰The remainder of the proof could be reformulated using the second-to-last line at a small cost to intuition.