3 ms·

I noticed this as well. Now I'm wondering -- how would one generalize this proof, keeping the same easy-to-grok style?