Теоремы часто описываются как «тривиальные», «трудные», «глубокие» или даже «красивые».
Некоторые теоремы тривиальны, они непосредственно следуют из предложений. Остальные теоремы называются «глубокими», их доказательство долгое и трудное.