Igaz-e az alábbi állítás?

Az a*x^3 + b*x^2 + c*x + d = 0 harmadfokú egyenlet, akkor hozható

a*(x + t)^3 = 0 alakra, ha b=+-gyök(3*a*c)=3*harmadik_gyök((a^2)*d) hármas azonosság teljesül egyszerre. (+- vagy plusz vagy mínusz értékek valamelyike). Ebben az esetben az egyenletnek kizárólag egyetlen gyöke van, amely a következő: x=-b/(3*a), ahol a,b,c,d valós nem nulla és t valós konstansok és x valós változó érték.