(a² + a*3^(1/2) + 1)(a² - a*3^(1/2) + 1) = a^4 - a² + 1