A long unreadable proof would not mean a small proof doesn't exist. I feel like a unreadable proof would be useful to simply know something is true while a sma

A long unreadable proof would not mean a small proof doesn't exist. I feel like a unreadable proof would be useful to simply know something is true while a small proof would be more useful to perhaps gain some sort of insight.