lemme correct