Support from South Audley St. for the geometer's distinction between a process (prove) and a successful result (proof)? Peter H. won't like hearing that.

jack