How does a postulate become a theorem
When a postulate has been proven to always be true, it is a theorem.