Original: The derivation of a theorem is often interpreted as a proof of the truth of the resulting expression, but different deductive systems can yield other interpretations, depending on the meanings of the derivation rules.
Simplified: Some theorems are trivial, they directly follow from the propositions.