Real positive number/Root/Unique existence/Fact