though i would direct the interested reader to the following articles and proof is a fairly loaded concept