Equivalent Theorem - Corollary