Berge Augmenting Path Theorem