Proved Theorem 2 yay