r PROOF-; fcv' ia/dv/ctio w. 7 0 Kn/c>W FOB. TW& t)lyri»Jtr rof^fS THERE H^J Si i EXACTLY Oft/E LI a/5 ol(X /) " BETWEEN 5s" B 1 j J fMII AXldflS WE- In AVE THE.Oft.Ert 4 = Ja/ AmY ci)aJFI6U2atiow qF * pollOTS lw THE 0(j a tjA/f (the.p-£. is a lwe which COWTAiti ?R.O0£} 5iT of- all POIA/ts fWiVg ( Nor ALL txy^TiY two of- THE POiwrS, LET THi S 1 (Pp.L,) X, - 5tT Of ail L/iTS 3X V-SiP (p.lJ < (q,k) ^» jfp.l)* j(q,k) (JoT£ THAT V(P,Oe/l- J(P]L)J,0 B£ * THE PAIR WirH Tm£ rUVirWfl [j | STA^ < E cMIrt ■. L0 15 THE UNE we A HE LOOki^t, p&ft L0 CA^a/OT COHTAlti A THlW) POIrJT - WE WAWT TO Pft.OV£ a AQC ~ a ARP J(A,P)* «KA,<0 ,A VKKEO PKTVRfc' j ^*JCP,R)sJfc THRjOU^H AT LE.AST TWO potwTS cqvTmiJS AT LEAST « LiwgS BASE io=3 jA/aucriow - Re.no t/E q TWO CAJES *. AfTE-R. RE.n(lvWfe ALL POINTS nAY Cfc. riA-y a/or he oa/ or/e. m*/e - fJOVJ WE START TO TH'a/|t TERfls OF 5E1T.S " 0 the-orem 3 : LET X be a -SET OF m2j £i_E ?\ZjJTS LET X-j ,..- ftE PROPER. SUBSETS «F Slf svr"iER CP SETS co(\/rAiA//V6 x - OBJER-VATKi/vJ 2< ry < m A, = il,M 1 • xM; =? ^x^fA;! CowtradictioaJ w,|A;| < rxw l-o(jA;l -Yl) <■ VI (r^-w) PJSTldrtT ' ^ = 3 , A; «1 -f,S| -*p«». *onE j,k il,l3£Aj' A;:x*A; :C\-'!5 TrfAT EvLw LEfcAL"? .'a'. AJO( I'LL (je PUT /a/ jAlt,, cowtra&i^oaj q I(T IS rU&lC( 6yT (T HOLbi. TWO (>UfS \ '.CLAIM jTi •' PE.QQF 2- B-(X-A1f ...^^ B is ^ rtATRlJt **A; *A^_-KA■? (0|tA SQUARE TIATHX) X SV£H THAT -Ax »3x F-OR SCHE VECTOR x CitltEJ^/ttTOft) ok* U - 1.1) — 0 6»(«! J] B-6T Jet (8-BT-l-l)= d«t[V A ll=0 Crt^i - Positive-demote M-TdfX fi.Pt- stm-6£f.irfir£ hat*!* ^ ni + r1j - P0S7TlV£ - DEFINITE niwiwn op the (UREASE TH£w>//TS6« of W>V/£ TXf^ COfJCCt/OEST THE ?p.oof . Q THtoatn (GfcAPH Tri&OU'J &IFP£ftEWT KM moi THAT EvEcy ij \fj A x/a/lSjvZ ^U«|tfE ,T^E#M v«£M. CworE. rKAT IT 15 P-E P- 0* rviAre.ii (cUqvt A tfB.cortpasiV9» AL60ft.mmi i ExAn«t I \ "TrlC COrlft.£TE &)PAP^ITE 6p.ApH J0lf«W6 -1 TO ACL OTHER VE RTJ*E.£ Vififl-1) „ _ ALTHOUGH we owa" NEED ir a 2 M ii1 * CA^ WE M> aa/T BETTER THA/J THE fL&dlT OF TWEORE/7 1A? NO. THE.ofcEn 5- IF Kv, if DE£oriposEj> ii^ro conplexe. 6iPAH.r*r5 svfibKAPrfi PROOF- 6/ ContK-Ad/cTJoaJ i —7» X; TO £As noH-KKO 3 (