Description: Equality theorem for disjoints, deduction version. (Contributed by Peter Mazsa, 22-Sep-2021)