disjuntos U y V tales que U contiene a A y V a B.