Lemme de classe monotone — Rare 1/1 · Devon