The theorem does not assert that some higher-degree polynomial equations have no solution.
Analogous formulas for third-degree equations and fourth-degree equations (using square roots and cube roots) have been known since the 16th century.