I think it’s a good way to prove x = sqrt(y). What’s your concern?