Theorem and Postulate clarification