Quartic Equation
http://mathworld.wolfram.com/QuarticEquation.html
Cubic Formula
http://mathworld.wolfram.com/CubicFormula.html
To prove that we can solve a particular cubic if we can solve a particular quartic.
For example,
If are roots of a quartic equation, then is a root of a cubic equation