for M being finite-degree Matroid
for A being Subset of M st A is cycle holds
(Rnk A) + 1 = card A