Мы поступим так. Множество M разобьём на два непересекающихся множества A и B: M = A ∪ B, а множество М ∪ Н на два непересекающихся множества K и L: М ∪ Н = K ∪ L. Затем установим два взаимно однозначных соответствия: соответствие η между A и K и соответствие θ между B и L. При этом автоматически возникнет соответствие между множеством A ∪ B, равным M, и множеством K ∪ L, равным М ∪ Н, каковое соответствие, в силу того что A не пересекается с B, а K не пересекается с L, будет взаимно однозначным.