Which statement must be true?

Aa statement cannot become a proof until it is a theorem.

Ba statement cannot become a theorem until it becomes a postulate.

Ca statement cannot become a theorem until it is proven.

Da statement cannot become a postulate until it is proven.