n (context|mathematics) theorem (mathematical statement of some importance that has been proven to be true)