正确性证明:图论中树的直径的算法

In order to find the diameter of a tree I can take any node from the tree, perform BFS to find a node which is farthest away from it and then perform BFS on that node. The greatest distance from the second BFS will yield the diameter. In order to find the diameter of a tree I can t