Simplify the following text for a Grade 6 native English-speaking person.
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 .