for M being finite-degree Matroid
for A being Subset of M st A is cycle holds
( not A is empty & A is finite )