Category:Existence and Uniqueness of Positive Root of Positive Real Number