Some theorems are trivial , they directly follow from the propositions . Other theorems are called `` deep '' , their proof is long and difficult . Theorems are often described as being `` trivial '' , or `` difficult '' , or `` deep '' , or even `` beautiful '' .