Berge's Augmenting Path Theorem