Proofs

There are two kinds of proofs - direct proofs and proofs by contradiction.