A minimum-spanning-tree (MST) path is always $V-1$ edges and a Hamiltonian Cycle (HC) is always $V$ edges.
Because the HC has an extra edge we could say that in general, the weight of every Hamiltonian cycle of a connected graph will be more.
If we take an edge of every Hamiltonian cycle we will find an MST and by that, the MST weight will be always lower than HC.
- There is a way to prove this where MST tree not necessary belongs to the HC?
- There is more definitive proof for this?