Circuit Elimination Axiom for Matroids