Order Polynomial Existence Theorem