Calculating Square Roots by Hand: Proof