No. What you have to prove is that as long as k<m2, the value of Di,j(k) is the length of the shortest path from i to j, that does not include a negative path (or inner vertices with index larger than k).