RE: Proof #12 of irrationality of square roots