Proof of the Irrationality of the Square Root of Two in Babylonian