Proving that a positive operator has a unique square root

Question

Rudin's functional analysis page 331 theorem 12.33) proves this. He proves uniqueness by 'going back' to the general algebra setting. I was just wondering whether there is a more direct way of doing this using the spectral decomposition of $T$ and the associated functional calculus.