then prove that a^3 + b^3 + c^3 – 3abc = -25.