Simplify the following text for a Grade 8 native English-speaking person.
Original: Theorems are often described as being `` trivial '' , or `` difficult '' , or `` deep '' , or even `` beautiful '' .
Simplified: Some theorems are trivial , they directly follow from the propositions . Other theorems are called `` deep '' , their proof is long and difficult .