求Floyd算法的正确性证明过程

Question

网上关于Floyd求有权图最短路径的代码数不胜数，但是却没有能够证明这个算法正确性的详细推导过程，希望有大佬能答疑解惑一下。