Call a program "elegant" if no smaller program has the same output. I.e., a LISP S-expression is defined to be elegant if no smaller S-expression has the same value. It is impossible to prove that any particular large program is elegant.