conjugate of square root of 2