How do you simplify #(3 + isqrt2)(3 - isqrt2)#?