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