finished proof of theorem 10.1