Do any of you know about indirect proofs like what I used in this thread. If you've never heard of it, I can show you.