Non-existence of distinct codirected locally minimal trees on a plane

Locally minimal graphs on a plane are considered. A simpler proof is given for the uniqueness of a globally minimal spanning tree on a plane in the general case. The proof presented here uses only local minimality of trees and is of independent interest.