Deducing basic lemmata from new axioms