f 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.