See Wikipedia, especially section "Proofs".