From <nowiki>[</nowiki>Grothendieck<nowiki>]</nowiki> and his example, I have also learned not to take glory in the difficulty of a proof: difficulty means we have not understood. The ideal is to be able to paint a landscape in which the proof is obvious.