Original: There are other theorems for which a proof is known, but the proof can not easily be written down.
Simplified: There are other theorems for which a proof is known, but it can not easily be written down.