Exemples de traduction
Un lemme seul est difficile à résoudre parce que la solution change selon que la proposition ultérieure soit auxiliaire ou subsidiaire.
A lemma on its own is difficult to solve because the solution changes dependent upon whether or not the subsequent proposition is auxiliary or subsidiary.