A proof may contain which of the following?

A. only theorems

B. definitions, postulates, and proven theorems

C. only postulates

D. only definitions

The correct option is B.

In mathematics, a proof is an inferential argument for a mathematical statement. In presenting a proof, other previously established statements such as theorems and accepted rules of inference can be used.