Moving theorem 2 into main body