Maybe it can be reduced to something simpler, because this is the first proof and proofs are often simplified later, but as far as proofs go this one isn't that

Maybe it can be reduced to something simpler, because this is the first proof and proofs are often simplified later, but as far as proofs go this one isn't that complex.