THE PROOF
 
                                MCT - 10
                            29 December 1993
 
                 Copyright (C) 1985 Homer Wilson Smith
       Redistribution rights granted for non commercial purposes.
 
                  Logic is the Ethics of Language.

                    1.)    L       <-->   LC or LNC
                    2.)    D and L  -->   LBE
                    3.)    LBE      -->   not LC
                 Q.E.D.    LC       -->   not D

     Learning implies Learning with Certainty or Learning with Not
Certainty.

     Distance and Learning implies Learning by Being an Effect.

     Learning by Being an Effect implies Not Learning with Certainty.

     Therefore,

     Learning with Certainty implies Learning, but

     Not Across a Distance, and

     Not by Being an Effect.

     Homer