Lemma proving: use of Paradox enhanced