Proved theorem 10.5.5 (slow)