Definition of Invariance Theorem