Ah, it makes total sense now! Thanks for taking the time to explain your thought process to a random stranger on the internet ;) I'd say that the exposition in

Ah, it makes total sense now! Thanks for taking the time to explain your thought process to a random stranger on the internet ;) I'd say that the exposition in your post is very fitting for the purpose of proving it. The most elegant proofs are usually not the most enlightening.