$C est suffisant