Lemme

Lemme (SRB)