Prove sqrt x is