Category:Rank of Matroid Circuit is One Less Than Cardinality