Description: Version of equsexv with a disjoint variable condition, and of equsex with two disjoint variable conditions, which requires fewer axioms. See
also the dual form equsalvw . (Contributed by BJ, 31-May-2019)(Proof shortened by Wolf Lammen, 23-Oct-2023)