Prove cut property: lightest crossing edge in every MST

Analyze the prove cut property: lightest crossing edge in every mst.

Examples
Input: "proof_case_1"
Output: true
Hints

Prove cut property: lightest crossing edge in every MST

Analyze the prove cut property: lightest crossing edge in every mst.