We establish a Spectral Exclusion Principle for unbounded subnormals. As an application, we obtain some polynomial approximation results in the functional model spaces.