Which of the following is NOT true about a proof?

A. It is a convincing demonstration that a mathematical statement is necessarily false

B. It uses given information that is assumed to be true

C. It uses definitions, postulates, and logical equivalences

D. It uses statements that have already been proved​