Well, if there was an edge crossing the cut A, B with one endpoint in A, one endpoint in B. Well, by definition, there are paths from U to everything else in A, so if there is any edge sticking out of A, that would give us a path to some vertex in B. But, B definition of vertices not reachable from capital A, so that's a contradiction. 