Hungarian Algorithm Correctness Theorem