User:Leigh.Samphier/Sandbox/Matroid Unique Circuit Property/Proof 2