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