Very often theorems with short statements have long proofs, but, occasionally, useful theorems have statements that are longer than their proofs, and, moreover, where it is more difficult to understand the statement than the proof.
Very often theorems with short statements have long proofs, but, occasionally, useful theorems have statements that are longer than their proofs, and, moreover, where it is more difficult to understand the statement than the proof.
If you have a fediverse account, you can quote this note from your own instance. Search https://mathstodon.xyz/users/MartinEscardo/statuses/115900578724429548 on your instance and quote it. (Note that quoting is not supported in Mastodon.)