Hello, I have enrolled in my college's "Design and Analysis of Algorithms" course. Recently we were studying Greedy algorithms and proving their correctness. I have a doubt about the correctness proof of Prim's Algorithm. How do we prove that it does not form a cycle during its execution? In the following snippet from our lecture [slides]: (https://drive.google.com/file/d/1gCMm3s72kLakZike8aaPnhxLMQFjDAqw/view?usp=sharing)