Proving things is fun, isn’t it?

But FYI “proof by negation” is better known as the fallacy of excluded middle when applied outside a binary logical system like this.