Correction du bug du lemme

Les lemmes fonctionnent dorénavant comme prévu.