Паросочетания в двудольных графах. Доказательство методом формализации на множествах.