exemples theorem not numéroter