Алгоритм Куна

Почему мощность результирующего паросочетания не зависит от порядка просмотра вершин? Почему не следует просматривать какую-либо вершину несколько раз? Не очевидна корректность алгоритма.