What is the fine-grained topic of the following text: The primary aim of the paper is to prove, within Bishop-style constructive mathematics and by elementary means (that is, without employing the full functional calculus), that under suitable conditions on the Banach algebra, its positive elements have positive square roots. Only return the topic.
Proving positive elements have positive square roots in a Banach algebra within Bishop-style constructive mathematics.