L
lemme