3 ms·

I think one is biased by knowing the answer ahead of time. Pick one of your favorite "home proofs" and we can play around with that one.