what are indirect proofs

Check this site.

(Broken Link Removed)