[gspr]

> Because this seems absurdly obvious to any layman.

That something seems obvious does not suffice for mathematics. It needs to be proven.

> Why is this a complex proof?

Because no one has come up with a simpler proof. (Although this proof is in fact not very complex, as far as modern mathematical proofs go).