Web Analytics

Which statement must be true?

Aa statement cannot become a theorem until it is proven.
Ba statement cannot become a proof until it is a theorem
Ca statement cannot become a theorem until it becomes a postulate
Da statement cannot become a postulate until it is proven