Other theorems have a known proof that cannot easily be written down.
Teistel teoreemidel on teadaolev tõestus, mida ei ole kerge üles kirjutada.