6 5 v?C Theorem 5.17: Prim's algorithm produces a minimum spanning tree of a connected weighted graph.Theorem 5.17: Prim’s algorithm produces a minimum spanning tree of a connected weighted graph