Доказательство от противного с использованием теоремы Холла о браке (игральные карты)

В этом видео представлено доказательство от противного с использованием теоремы Холла о браке. Видео доказывает, что если разложить 52 карты в 13 стопок по 4 карты, то всегда можно выбрать по одной карте из каждой стопки, чтобы получить по одной карте каждого из 13 значений. mathispower4u.com