a graph has distinct edge weights. Does its lightest edge have to belong to the MST (Minimum Spanning Tree)? Can its heaviest edge belong to the MST? Does a min-weight edge on every cycle have to belong to the MST? Prove your answer to each question or give a counterexample.