updating notes; outline of theorem