( \ x€N, X²³ = x) ' => (3x € 2₁x²+1​