Se x = 3√17 − √35, então x é tal que: