Existence and Uniqueness of Positive Square Roots