This is provable if everything’s finite, but not if you’re dealing with things with bigger cardinalities like the real numbers.