describe how a postulate becomes a theorem.
describe how a postulate becomes a theorem.