My premise was that the proof was opaque -- i.e., no insight was to be gained from it.