The venis theorem and nortn theorem