Prove cycle property: heaviest cycle edge not in any MST

Analyze the prove cycle property: heaviest cycle edge not in any mst.

Examples
Input: "proof_case_1"
Output: true
Hints

Prove cycle property: heaviest cycle edge not in any MST

Analyze the prove cycle property: heaviest cycle edge not in any mst.