Description: Equality theorem for partition, deduction version. (Contributed by Peter Mazsa, 5-Oct-2021)