home *** CD-ROM | disk | FTP | other *** search
open in:
MacOS 8.1
|
Win98
|
DOS
view JSON data
|
view as text
This file was processed as: Mailbox/MIME Entity
(archive/mbox).
You can browse this item here: PROOF.MET
Confidence | Program | Detection | Match Type | Support
|
---|
100%
| dexvert
| Mailbox/MIME Entity (archive/mbox)
| magic
| Supported |
1%
| dexvert
| OS/2 Presentation Manager Metafile (other/os2PresentationManagerMetafile)
| ext
| Unsupported |
1%
| dexvert
| Text File (text/txt)
| fallback
| Supported |
100%
| file
| Mailbox text, 1st line "From cate3.osbunorth@xerox.com Fri Aug 31 19:33:53 1990"
| default
| |
99%
| file
| data
| default
| |
100%
| perlTextCheck
| Likely Text (Perl)
| default
| |
100%
| detectItEasy
| Format: plain text[CRLF]
| default (weak)
| |
100%
| xdgMime
| application/mbox
| default
|
|
hex view+--------+-------------------------+-------------------------+--------+--------+
|00000000| 46 72 6f 6d 20 63 61 74 | 65 33 2e 6f 73 62 75 6e |From cat|e3.osbun|
|00000010| 6f 72 74 68 40 78 65 72 | 6f 78 2e 63 6f 6d 20 46 |orth@xer|ox.com F|
|00000020| 72 69 20 41 75 67 20 33 | 31 20 31 39 3a 33 33 3a |ri Aug 3|1 19:33:|
|00000030| 35 33 20 31 39 39 30 0d | 0a 46 72 6f 6d 3a 20 63 |53 1990.|.From: c|
|00000040| 61 74 65 33 2e 6f 73 62 | 75 6e 6f 72 74 68 40 78 |ate3.osb|unorth@x|
|00000050| 65 72 6f 78 2e 63 6f 6d | 20 28 48 65 6e 72 79 20 |erox.com| (Henry |
|00000060| 43 61 74 65 20 49 49 49 | 29 0d 0a 53 75 62 6a 65 |Cate III|)..Subje|
|00000070| 63 74 3a 20 48 6f 77 20 | 74 6f 20 70 72 6f 76 65 |ct: How |to prove|
|00000080| 20 73 6f 6d 65 74 68 69 | 6e 67 0d 0a 0d 0a 0d 0a | somethi|ng......|
|00000090| 0d 0a 2d 2d 2d 2d 2d 2d | 2d 2d 2d 2d 2d 2d 2d 2d |..------|--------|
|000000a0| 2d 2d 2d 2d 2d 2d 2d 2d | 2d 2d 2d 2d 2d 2d 2d 2d |--------|--------|
|000000b0| 2d 2d 2d 2d 2d 2d 2d 2d | 2d 2d 2d 2d 2d 2d 2d 2d |--------|--------|
|000000c0| 2d 2d 2d 2d 2d 2d 0d 0a | 0d 0a 53 75 72 76 65 79 |------..|..Survey|
|000000d0| 20 6f 66 20 70 72 6f 6f | 66 20 74 65 63 68 6e 69 | of proo|f techni|
|000000e0| 71 75 65 73 0d 0a 0d 0a | 54 68 69 73 20 73 75 72 |ques....|This sur|
|000000f0| 76 65 79 20 77 61 73 20 | 77 72 69 74 74 65 6e 20 |vey was |written |
|00000100| 62 79 20 44 61 6e 61 20 | 41 6e 67 6c 75 69 6e 2e |by Dana |Angluin.|
|00000110| 20 20 4e 6f 74 20 72 65 | 61 6c 6c 79 20 73 75 72 | Not re|ally sur|
|00000120| 65 20 77 68 65 72 65 20 | 69 74 20 63 61 6d 65 20 |e where |it came |
|00000130| 66 72 6f 6d 2e 0d 0a 0d | 0a 50 72 6f 6f 66 20 62 |from....|.Proof b|
|00000140| 79 20 65 78 61 6d 70 6c | 65 3a 0d 0a 20 20 54 68 |y exampl|e:.. Th|
|00000150| 65 20 61 75 74 68 6f 72 | 20 67 69 76 65 73 20 6f |e author| gives o|
|00000160| 6e 6c 79 20 74 68 65 20 | 63 61 73 65 20 6e 3d 32 |nly the |case n=2|
|00000170| 20 61 6e 64 20 73 75 67 | 67 65 73 74 73 20 74 68 | and sug|gests th|
|00000180| 61 74 20 69 74 20 63 6f | 6e 74 61 69 6e 73 20 6d |at it co|ntains m|
|00000190| 6f 73 74 0d 0a 20 20 6f | 66 20 74 68 65 20 69 64 |ost.. o|f the id|
|000001a0| 65 61 73 20 6f 66 20 74 | 68 65 20 67 65 6e 65 72 |eas of t|he gener|
|000001b0| 61 6c 20 70 72 6f 6f 66 | 2e 0d 0a 0d 0a 50 72 6f |al proof|.....Pro|
|000001c0| 6f 66 20 62 79 20 69 6e | 74 69 6d 69 64 61 74 69 |of by in|timidati|
|000001d0| 6f 6e 3a 0d 0a 20 20 27 | 54 72 69 76 69 61 6c 2e |on:.. '|Trivial.|
|000001e0| 27 0d 0a 0d 0a 50 72 6f | 6f 66 20 62 79 20 76 69 |'....Pro|of by vi|
|000001f0| 67 6f 72 6f 75 73 20 68 | 61 6e 64 77 61 76 69 6e |gorous h|andwavin|
|00000200| 67 3a 0d 0a 20 20 57 6f | 72 6b 73 20 77 65 6c 6c |g:.. Wo|rks well|
|00000210| 20 69 6e 20 61 20 63 6c | 61 73 73 72 6f 6f 6d 20 | in a cl|assroom |
|00000220| 6f 72 20 73 65 6d 69 6e | 61 72 20 73 65 74 74 69 |or semin|ar setti|
|00000230| 6e 67 2e 0d 0a 0d 0a 50 | 72 6f 6f 66 20 62 79 20 |ng.....P|roof by |
|00000240| 63 75 6d 62 65 72 73 6f | 6d 65 20 6e 6f 74 61 74 |cumberso|me notat|
|00000250| 69 6f 6e 3a 0d 0a 20 20 | 42 65 73 74 20 64 6f 6e |ion:.. |Best don|
|00000260| 65 20 77 69 74 68 20 61 | 63 63 65 73 73 20 74 6f |e with a|ccess to|
|00000270| 20 61 74 20 6c 65 61 73 | 74 20 66 6f 75 72 20 61 | at leas|t four a|
|00000280| 6c 70 68 61 62 65 74 73 | 20 61 6e 64 20 73 70 65 |lphabets| and spe|
|00000290| 63 69 61 6c 20 73 79 6d | 62 6f 6c 73 2e 0d 0a 0d |cial sym|bols....|
|000002a0| 0a 50 72 6f 6f 66 20 62 | 79 20 65 78 68 61 75 73 |.Proof b|y exhaus|
|000002b0| 74 69 6f 6e 3a 0d 0a 20 | 20 41 6e 20 69 73 73 75 |tion:.. | An issu|
|000002c0| 65 20 6f 72 20 74 77 6f | 20 6f 66 20 61 20 6a 6f |e or two| of a jo|
|000002d0| 75 72 6e 61 6c 20 64 65 | 76 6f 74 65 64 20 74 6f |urnal de|voted to|
|000002e0| 20 79 6f 75 72 20 70 72 | 6f 6f 66 20 69 73 20 75 | your pr|oof is u|
|000002f0| 73 65 66 75 6c 2e 0d 0a | 0d 0a 50 72 6f 6f 66 20 |seful...|..Proof |
|00000300| 62 79 20 6f 6d 69 73 73 | 69 6f 6e 3a 0d 0a 20 20 |by omiss|ion:.. |
|00000310| 27 54 68 65 20 72 65 61 | 64 65 72 20 6d 61 79 20 |'The rea|der may |
|00000320| 65 61 73 69 6c 79 20 73 | 75 70 70 6c 79 20 74 68 |easily s|upply th|
|00000330| 65 20 64 65 74 61 69 6c | 73 2e 27 0d 0a 20 20 27 |e detail|s.'.. '|
|00000340| 54 68 65 20 6f 74 68 65 | 72 20 32 35 33 20 63 61 |The othe|r 253 ca|
|00000350| 73 65 73 20 61 72 65 20 | 61 6e 61 6c 6f 67 6f 75 |ses are |analogou|
|00000360| 73 2e 27 0d 0a 20 20 27 | 2e 2e 2e 27 0d 0a 0d 0a |s.'.. '|...'....|
|00000370| 50 72 6f 6f 66 20 62 79 | 20 6f 62 66 75 73 63 61 |Proof by| obfusca|
|00000380| 74 69 6f 6e 3a 0d 0a 20 | 20 41 20 6c 6f 6e 67 20 |tion:.. | A long |
|00000390| 70 6c 6f 74 6c 65 73 73 | 20 73 65 71 75 65 6e 63 |plotless| sequenc|
|000003a0| 65 20 6f 66 20 74 72 75 | 65 20 61 6e 64 5c 6f 72 |e of tru|e and\or|
|000003b0| 20 6d 65 61 6e 69 6e 67 | 6c 65 73 73 20 73 79 6e | meaning|less syn|
|000003c0| 74 61 63 74 69 63 61 6c | 6c 79 20 72 65 6c 61 74 |tactical|ly relat|
|000003d0| 65 64 0d 0a 20 20 73 74 | 61 74 65 6d 65 6e 74 73 |ed.. st|atements|
|000003e0| 2e 0d 0a 0d 0a 50 72 6f | 6f 66 20 62 79 20 77 69 |.....Pro|of by wi|
|000003f0| 73 68 66 75 6c 20 63 69 | 74 61 74 69 6f 6e 3a 0d |shful ci|tation:.|
|00000400| 0a 20 20 54 68 65 20 61 | 75 74 68 6f 72 20 63 69 |. The a|uthor ci|
|00000410| 74 65 73 20 74 68 65 20 | 6e 65 67 61 74 69 6f 6e |tes the |negation|
|00000420| 2c 20 63 6f 6e 76 65 72 | 73 65 2c 20 6f 72 20 67 |, conver|se, or g|
|00000430| 65 6e 65 72 61 6c 69 7a | 61 74 69 6f 6e 20 6f 66 |eneraliz|ation of|
|00000440| 20 61 20 74 68 65 6f 72 | 65 6d 0d 0a 20 20 66 72 | a theor|em.. fr|
|00000450| 6f 6d 20 74 68 65 20 6c | 69 74 65 72 61 74 75 72 |om the l|iteratur|
|00000460| 65 20 74 6f 20 73 75 70 | 70 6f 72 74 20 68 69 73 |e to sup|port his|
|00000470| 20 63 6c 61 69 6d 73 2e | 0d 0a 0d 0a 50 72 6f 6f | claims.|....Proo|
|00000480| 66 20 62 79 20 66 75 6e | 64 69 6e 67 3a 0d 0a 20 |f by fun|ding:.. |
|00000490| 20 48 6f 77 20 63 6f 75 | 6c 64 20 74 68 72 65 65 | How cou|ld three|
|000004a0| 20 64 69 66 66 65 72 65 | 6e 74 20 67 6f 76 65 72 | differe|nt gover|
|000004b0| 6e 6d 65 6e 74 20 61 67 | 65 6e 63 69 65 73 20 62 |nment ag|encies b|
|000004c0| 65 20 77 72 6f 6e 67 3f | 0d 0a 0d 0a 50 72 6f 6f |e wrong?|....Proo|
|000004d0| 66 20 62 79 20 65 6d 69 | 6e 65 6e 74 20 61 75 74 |f by emi|nent aut|
|000004e0| 68 6f 72 69 74 79 3a 0d | 0a 20 20 27 49 20 73 61 |hority:.|. 'I sa|
|000004f0| 77 20 4b 61 72 70 20 69 | 6e 20 74 68 65 20 65 6c |w Karp i|n the el|
|00000500| 65 76 61 74 6f 72 20 61 | 6e 64 20 68 65 20 73 61 |evator a|nd he sa|
|00000510| 69 64 20 69 74 20 77 61 | 73 20 70 72 6f 62 61 62 |id it wa|s probab|
|00000520| 6c 79 20 4e 50 2d 63 6f | 6d 70 6c 65 74 65 2e 27 |ly NP-co|mplete.'|
|00000530| 0d 0a 0d 0a 50 72 6f 6f | 66 20 62 79 20 70 65 72 |....Proo|f by per|
|00000540| 73 6f 6e 61 6c 20 63 6f | 6d 6d 75 6e 69 63 61 74 |sonal co|mmunicat|
|00000550| 69 6f 6e 3a 0d 0a 20 20 | 27 45 69 67 68 74 2d 64 |ion:.. |'Eight-d|
|00000560| 69 6d 65 6e 73 69 6f 6e | 61 6c 20 63 6f 6c 6f 72 |imension|al color|
|00000570| 65 64 20 63 79 63 6c 65 | 20 73 74 72 69 70 70 69 |ed cycle| strippi|
|00000580| 6e 67 20 69 73 20 4e 50 | 2d 63 6f 6d 70 6c 65 74 |ng is NP|-complet|
|00000590| 65 20 5b 4b 61 72 70 2c | 20 70 65 72 73 6f 6e 61 |e [Karp,| persona|
|000005a0| 6c 0d 0a 20 20 63 6f 6d | 6d 6d 75 6e 69 63 61 74 |l.. com|mmunicat|
|000005b0| 69 6f 6e 5d 2e 0d 0a 20 | 0d 0a 50 72 6f 6f 66 20 |ion]... |..Proof |
|000005c0| 62 79 20 72 65 64 75 63 | 74 69 6f 6e 20 74 6f 20 |by reduc|tion to |
|000005d0| 74 68 65 20 77 72 6f 6e | 67 20 70 72 6f 62 6c 65 |the wron|g proble|
|000005e0| 6d 3a 0d 0a 20 20 27 54 | 6f 20 73 65 65 20 74 68 |m:.. 'T|o see th|
|000005f0| 61 74 20 69 6e 66 69 6e | 69 74 65 2d 64 69 6d 65 |at infin|ite-dime|
|00000600| 6e 73 69 6f 6e 61 6c 20 | 63 6f 6c 6f 72 65 64 20 |nsional |colored |
|00000610| 63 79 63 6c 65 20 73 74 | 72 69 70 70 69 6e 67 20 |cycle st|ripping |
|00000620| 69 73 20 64 65 63 69 64 | 61 62 6c 65 2c 0d 0a 20 |is decid|able,.. |
|00000630| 20 77 65 20 72 65 64 75 | 63 65 20 69 74 20 74 6f | we redu|ce it to|
|00000640| 20 74 68 65 20 68 61 6c | 74 69 6e 67 20 70 72 6f | the hal|ting pro|
|00000650| 62 6c 65 6d 2e 27 0d 0a | 0d 0a 50 72 6f 6f 66 20 |blem.'..|..Proof |
|00000660| 62 79 20 72 65 66 65 72 | 65 6e 63 65 20 74 6f 20 |by refer|ence to |
|00000670| 69 6e 61 63 63 65 73 73 | 69 62 6c 65 20 6c 69 74 |inaccess|ible lit|
|00000680| 65 72 61 74 75 72 65 3a | 0d 0a 20 20 54 68 65 20 |erature:|.. The |
|00000690| 61 75 74 68 6f 72 20 63 | 69 74 65 73 20 61 20 73 |author c|ites a s|
|000006a0| 69 6d 70 6c 65 20 63 6f | 72 6f 6c 6c 61 72 79 20 |imple co|rollary |
|000006b0| 6f 66 20 61 20 74 68 65 | 6f 72 65 6d 20 74 6f 20 |of a the|orem to |
|000006c0| 62 65 20 66 6f 75 6e 64 | 20 69 6e 20 61 20 70 72 |be found| in a pr|
|000006d0| 69 76 61 74 65 6c 79 0d | 0a 20 20 63 69 72 63 75 |ivately.|. circu|
|000006e0| 6c 61 74 65 64 20 6d 65 | 6d 6f 69 72 20 6f 66 20 |lated me|moir of |
|000006f0| 74 68 65 20 53 6c 6f 76 | 65 6e 69 61 6e 20 50 68 |the Slov|enian Ph|
|00000700| 69 6c 6f 6c 6f 67 69 63 | 61 6c 20 53 6f 63 69 65 |ilologic|al Socie|
|00000710| 74 79 2c 20 31 38 38 33 | 2e 0d 0a 0d 0a 50 72 6f |ty, 1883|.....Pro|
|00000720| 6f 66 20 62 79 20 69 6d | 70 6f 72 74 61 6e 63 65 |of by im|portance|
|00000730| 3a 0d 0a 20 20 41 20 6c | 61 72 67 65 20 62 6f 64 |:.. A l|arge bod|
|00000740| 79 20 6f 66 20 75 73 65 | 66 75 6c 20 63 6f 6e 73 |y of use|ful cons|
|00000750| 65 71 75 65 6e 63 65 73 | 20 61 6c 6c 20 66 6f 6c |equences| all fol|
|00000760| 6c 6f 77 20 66 72 6f 6d | 20 74 68 65 20 70 72 6f |low from| the pro|
|00000770| 70 6f 73 69 74 69 6f 6e | 20 69 6e 0d 0a 20 20 71 |position| in.. q|
|00000780| 75 65 73 74 69 6f 6e 2e | 0d 0a 0d 0a 50 72 6f 6f |uestion.|....Proo|
|00000790| 66 20 62 79 20 61 63 63 | 75 6d 75 6c 61 74 65 64 |f by acc|umulated|
|000007a0| 20 65 76 69 64 65 6e 63 | 65 3a 0d 0a 20 20 4c 6f | evidenc|e:.. Lo|
|000007b0| 6e 67 20 61 6e 64 20 64 | 69 6c 69 67 65 6e 74 20 |ng and d|iligent |
|000007c0| 73 65 61 72 63 68 20 68 | 61 73 20 6e 6f 74 20 72 |search h|as not r|
|000007d0| 65 76 65 61 6c 65 64 20 | 61 20 63 6f 75 6e 74 65 |evealed |a counte|
|000007e0| 72 65 78 61 6d 70 6c 65 | 2e 0d 0a 0d 0a 50 72 6f |rexample|.....Pro|
|000007f0| 6f 66 20 62 79 20 63 6f | 73 6d 6f 6c 6f 67 79 3a |of by co|smology:|
|00000800| 0d 0a 20 20 54 68 65 20 | 6e 65 67 61 74 69 6f 6e |.. The |negation|
|00000810| 20 6f 66 20 74 68 65 20 | 70 72 6f 70 6f 73 69 74 | of the |proposit|
|00000820| 69 6f 6e 20 69 73 20 75 | 6e 69 6d 61 67 69 6e 61 |ion is u|nimagina|
|00000830| 62 6c 65 20 6f 72 20 6d | 65 61 6e 69 6e 67 6c 65 |ble or m|eaningle|
|00000840| 73 73 2e 20 20 50 6f 70 | 75 6c 61 72 0d 0a 20 20 |ss. Pop|ular.. |
|00000850| 66 6f 72 20 70 72 6f 6f | 66 73 20 6f 66 20 74 68 |for proo|fs of th|
|00000860| 65 20 65 78 69 73 74 65 | 6e 63 65 20 6f 66 20 47 |e existe|nce of G|
|00000870| 6f 64 2e 0d 0a 0d 0a 50 | 72 6f 6f 66 20 62 79 20 |od.....P|roof by |
|00000880| 6d 75 74 75 61 6c 20 72 | 65 66 65 72 65 6e 63 65 |mutual r|eference|
|00000890| 3a 0d 0a 20 20 49 6e 20 | 72 65 66 65 72 65 6e 63 |:.. In |referenc|
|000008a0| 65 20 41 2c 20 54 68 65 | 6f 72 65 6d 20 35 20 69 |e A, The|orem 5 i|
|000008b0| 73 20 73 61 69 64 20 74 | 6f 20 66 6f 6c 6c 6f 77 |s said t|o follow|
|000008c0| 20 66 72 6f 6d 20 54 68 | 65 6f 72 65 6d 20 33 20 | from Th|eorem 3 |
|000008d0| 69 6e 20 72 65 66 65 72 | 65 6e 63 65 20 42 2c 0d |in refer|ence B,.|
|000008e0| 0a 20 20 77 68 69 63 68 | 20 69 73 20 73 68 6f 77 |. which| is show|
|000008f0| 6e 20 74 6f 20 66 6f 6c | 6c 6f 77 20 66 72 6f 6d |n to fol|low from|
|00000900| 20 43 6f 72 6f 6c 6c 61 | 72 79 20 36 2e 32 20 69 | Corolla|ry 6.2 i|
|00000910| 6e 20 72 65 66 65 72 65 | 6e 63 65 20 43 2c 20 77 |n refere|nce C, w|
|00000920| 68 69 63 68 20 69 73 20 | 61 6e 0d 0a 20 20 65 61 |hich is |an.. ea|
|00000930| 73 79 20 63 6f 6e 73 65 | 71 75 65 6e 63 65 20 6f |sy conse|quence o|
|00000940| 66 20 54 68 65 6f 72 65 | 6d 20 35 20 69 6e 20 72 |f Theore|m 5 in r|
|00000950| 65 66 65 72 65 6e 63 65 | 20 41 2e 0d 0a 0d 0a 50 |eference| A.....P|
|00000960| 72 6f 6f 66 20 62 79 20 | 6d 65 74 61 70 72 6f 6f |roof by |metaproo|
|00000970| 66 3a 0d 0a 20 20 41 20 | 6d 65 74 68 6f 64 20 69 |f:.. A |method i|
|00000980| 73 20 67 69 76 65 6e 20 | 74 6f 20 63 6f 6e 73 74 |s given |to const|
|00000990| 72 75 63 74 20 74 68 65 | 20 64 65 73 69 72 65 64 |ruct the| desired|
|000009a0| 20 70 72 6f 6f 66 2e 20 | 20 54 68 65 20 63 6f 72 | proof. | The cor|
|000009b0| 72 65 63 74 6e 65 73 73 | 20 6f 66 20 74 68 65 0d |rectness| of the.|
|000009c0| 0a 20 20 6d 65 74 68 6f | 64 20 69 73 20 70 72 6f |. metho|d is pro|
|000009d0| 76 65 64 20 62 79 20 61 | 6e 79 20 6f 66 20 74 68 |ved by a|ny of th|
|000009e0| 65 73 65 20 74 65 63 68 | 6e 69 71 75 65 73 2e 0d |ese tech|niques..|
|000009f0| 0a 0d 0a 50 72 6f 6f 66 | 20 62 79 20 70 69 63 74 |...Proof| by pict|
|00000a00| 75 72 65 3a 0d 0a 20 20 | 41 20 6d 6f 72 65 20 63 |ure:.. |A more c|
|00000a10| 6f 6e 76 69 6e 63 69 6e | 67 20 66 6f 72 6d 20 6f |onvincin|g form o|
|00000a20| 66 20 70 72 6f 6f 66 20 | 62 79 20 65 78 61 6d 70 |f proof |by examp|
|00000a30| 6c 65 2e 20 20 43 6f 6d | 62 69 6e 65 73 20 77 65 |le. Com|bines we|
|00000a40| 6c 6c 20 77 69 74 68 20 | 70 72 6f 6f 66 20 62 79 |ll with |proof by|
|00000a50| 0d 0a 20 20 6f 6d 69 73 | 73 69 6f 6e 2e 0d 0a 0d |.. omis|sion....|
|00000a60| 0a 50 72 6f 6f 66 20 62 | 79 20 76 65 68 65 6d 65 |.Proof b|y veheme|
|00000a70| 6e 74 20 61 73 73 65 72 | 74 69 6f 6e 3a 0d 0a 20 |nt asser|tion:.. |
|00000a80| 20 49 74 20 69 73 20 75 | 73 65 66 75 6c 20 74 6f | It is u|seful to|
|00000a90| 20 68 61 76 65 20 73 6f | 6d 65 20 6b 69 6e 64 20 | have so|me kind |
|00000aa0| 6f 66 20 61 75 74 68 6f | 72 69 74 79 20 72 65 6c |of autho|rity rel|
|00000ab0| 61 74 69 6f 6e 20 74 6f | 20 74 68 65 20 61 75 64 |ation to| the aud|
|00000ac0| 69 65 6e 63 65 2e 0d 0a | 0d 0a 50 72 6f 6f 66 20 |ience...|..Proof |
|00000ad0| 62 79 20 67 68 6f 73 74 | 20 72 65 66 65 72 65 6e |by ghost| referen|
|00000ae0| 63 65 3a 0d 0a 20 20 4e | 6f 74 68 69 6e 67 20 65 |ce:.. N|othing e|
|00000af0| 76 65 6e 20 72 65 6d 6f | 74 65 6c 79 20 72 65 73 |ven remo|tely res|
|00000b00| 65 6d 62 6c 69 6e 67 20 | 74 68 65 20 63 69 74 65 |embling |the cite|
|00000b10| 64 20 74 68 65 6f 72 65 | 6d 20 61 70 70 65 61 72 |d theore|m appear|
|00000b20| 73 20 69 6e 20 74 68 65 | 20 72 65 66 65 72 65 6e |s in the| referen|
|00000b30| 63 65 0d 0a 20 20 67 69 | 76 65 6e 2e 0d 0a 0d 0a |ce.. gi|ven.....|
|00000b40| 50 72 6f 6f 66 20 62 79 | 20 66 6f 72 77 61 72 64 |Proof by| forward|
|00000b50| 20 72 65 66 65 72 65 6e | 63 65 3a 0d 0a 20 20 52 | referen|ce:.. R|
|00000b60| 65 66 65 72 65 6e 63 65 | 20 69 73 20 75 73 75 61 |eference| is usua|
|00000b70| 6c 6c 79 20 74 6f 20 61 | 20 66 6f 72 74 68 63 6f |lly to a| forthco|
|00000b80| 6d 69 6e 67 20 70 61 70 | 65 72 20 6f 66 20 74 68 |ming pap|er of th|
|00000b90| 65 20 61 75 74 68 6f 72 | 2c 20 77 68 69 63 68 20 |e author|, which |
|00000ba0| 69 73 20 6f 66 74 65 6e | 20 0d 0a 20 20 6e 6f 74 |is often| .. not|
|00000bb0| 20 61 73 20 66 6f 72 74 | 68 63 6f 6d 69 6e 67 20 | as fort|hcoming |
|00000bc0| 61 73 20 61 74 20 66 69 | 72 73 74 2e 0d 0a 0d 0a |as at fi|rst.....|
|00000bd0| 50 72 6f 6f 66 20 62 79 | 20 73 65 6d 61 6e 74 69 |Proof by| semanti|
|00000be0| 63 20 73 68 69 66 74 3a | 0d 0a 20 20 53 6f 6d 65 |c shift:|.. Some|
|00000bf0| 20 73 74 61 6e 64 61 72 | 64 20 62 75 74 20 69 6e | standar|d but in|
|00000c00| 63 6f 6e 76 65 6e 69 65 | 6e 74 20 64 65 66 69 6e |convenie|nt defin|
|00000c10| 69 74 69 6f 6e 73 20 61 | 72 65 20 63 68 61 6e 67 |itions a|re chang|
|00000c20| 65 64 20 66 6f 72 20 74 | 68 65 20 73 74 61 74 65 |ed for t|he state|
|00000c30| 6d 65 6e 74 0d 0a 20 20 | 6f 66 20 74 68 65 20 72 |ment.. |of the r|
|00000c40| 65 73 75 6c 74 2e 0d 0a | 0d 0a 50 72 6f 6f 66 20 |esult...|..Proof |
|00000c50| 62 79 20 61 70 70 65 61 | 6c 20 74 6f 20 69 6e 74 |by appea|l to int|
|00000c60| 75 69 74 69 6f 6e 3a 0d | 0a 20 20 43 6c 6f 75 64 |uition:.|. Cloud|
|00000c70| 2d 73 68 61 70 65 64 20 | 64 72 61 77 69 6e 67 73 |-shaped |drawings|
|00000c80| 20 66 72 65 71 75 65 6e | 74 6c 79 20 68 65 6c 70 | frequen|tly help|
|00000c90| 20 68 65 72 65 2e 0d 0a | 0d 0a 2d 2d 2d 2d 2d 2d | here...|..------|
|00000ca0| 2d 2d 2d 2d 2d 2d 2d 2d | 2d 2d 2d 2d 2d 2d 2d 2d |--------|--------|
|00000cb0| 2d 2d 2d 2d 2d 2d 2d 2d | 2d 2d 2d 2d 2d 2d 2d 2d |--------|--------|
|00000cc0| 2d 2d 2d 2d 2d 2d 2d 2d | 2d 2d 2d 2d 2d 2d 0d 0a |--------|------..|
|00000cd0| 0d 0a 0d 0a 0d 0a 0d 0a | 48 65 6e 72 79 20 43 61 |........|Henry Ca|
|00000ce0| 74 65 20 49 49 49 0d 0a | 2d 2d 2d 2d 2d 2d 2d 2d |te III..|--------|
|00000cf0| 2d 2d 2d 2d 2d 2d 0d 0a | 20 20 28 75 63 62 76 61 |------..| (ucbva|
|00000d00| 78 21 78 65 72 6f 78 2e | 63 6f 6d 21 63 61 74 65 |x!xerox.|com!cate|
|00000d10| 33 2e 6f 73 62 75 6e 6f | 72 74 68 29 20 20 4f 52 |3.osbuno|rth) OR|
|00000d20| 20 20 28 63 61 74 65 33 | 2e 6f 73 62 75 6e 6f 72 | (cate3|.osbunor|
|00000d30| 74 68 40 58 65 72 6f 78 | 2e 43 6f 6d 29 0d 0a 45 |th@Xerox|.Com)..E|
|00000d40| 76 65 72 79 6f 6e 65 20 | 63 6f 6d 70 6c 61 69 6e |veryone |complain|
|00000d50| 73 20 6f 66 20 68 69 73 | 20 6d 65 6d 6f 72 79 2c |s of his| memory,|
|00000d60| 20 6e 6f 20 6f 6e 65 20 | 6f 66 20 68 69 73 20 6a | no one |of his j|
|00000d70| 75 64 67 6d 65 6e 74 2e | 0d 0a 0d 0a 1a |udgment.|..... |
+--------+-------------------------+-------------------------+--------+--------+