Fill in the Blank Question

A

is a valid argument that establishes the truth of a theorem. The statements used in a proof can include

which are statements we assume to be true, of the theorem, and previously proven theorems.