I see what you meant and that's actually interesting regarding LNC. What I mean is if you can use A and B to prove C, it doesn't matter that you may be able to

I see what you meant and that's actually interesting regarding LNC. What I mean is if you can use A and B to prove C, it doesn't matter that you may be able to use A and something else to prove B. Relative to C, A and B may be considered axioms.