there is an accessible proof in introduction to algorithms ntukagishe inama umunebwe ku byerekeye umurimo yatsinzwe muri gahunda cyane birababaje se