[ U V | = | U V ]