Text this: Proving Properties of Discrete-Valued Functions Using Deductive Proof: Application to the Square Root