A saturating result gives the injection $l ↦ its right vertex$; conversely a left vertex the algorithm leaves unmatched has failed, and the right vertices reachable from a failed vertex are fewer than the left ones, which no injection respecting the graph allows.