Matroid Unique Circuit Property/Proof 2