théorème

concept proposition qui peut être mathématiquement démontrée