Class Forcing Theorem