This letter presents some theorems for the exact and pth-order equalization of nonlinear systems described by recursive polynomial input-output relationships. It is shown that the nonlinear equalizers derived on the basis of this theory have simple and computationally efficient structures. Furthermore, the pth-order equalizers can be shown to operate in a stable manner for a finite range of values of the input amplitude when the linear component of the nonlinear system being equalized has minimum phase properties.