Category:Uniqueness of Positive Root of Positive Real Number