proved theorem 3.3 (in notes)