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: There are other theorems for which a proof is known , but it can not easily be written down .