lemme (N) — prolemme (N)
prolemme : Ce qui est avant le lemme.