Ford » Ford » Moore bellman ford algorithmus beweis