Respuesta :

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