[{"data":1,"prerenderedAt":4192},["ShallowReactive",2],{"content-notes/information-theory":3},{"_path":4,"_dir":5,"_draft":6,"_partial":6,"_locale":7,"title":8,"description":9,"tags":10,"breadcrumb":15,"completed":6,"featured":16,"creation_date":17,"language":18,"key":13,"body":19,"_type":4186,"_id":4187,"_source":4188,"_file":4189,"_stem":4190,"_extension":4191},"/en/notes/information-theory","notes",false,"","Information theory","Exploring Shannon's entropy formula, information encoding, and cryptographic applications in classical and quantum computing.",[11,12,13,14],"mathematics","cryptography","information-theory","shannon","/en /notes /information-theory",true,"2021-04-12","en",{"type":20,"children":21,"toc":4167},"root",[22,31,51,418,423,670,742,747,1007,1171,1324,1530,1776,1987,2335,2340,2347,2352,2357,2372,2377,2382,2387,2493,2498,2570,2575,2580,2593,2599,2604,2619,2639,2761,2767,2789,2796,2808,2813,2820,3589,3595,3618,3624,3643,3757,3762,3869,4124,4129,4161],{"type":23,"tag":24,"props":25,"children":27},"element","h2",{"id":26},"measurement-and-encoding-of-information",[28],{"type":29,"value":30},"text","Measurement and encoding of information",{"type":23,"tag":32,"props":33,"children":34},"p",{},[35,37],{"type":29,"value":36},"Shannon's formula of entropy ",{"type":23,"tag":38,"props":39,"children":40},"sup",{},[41],{"type":23,"tag":42,"props":43,"children":48},"a",{"href":44,"ariaDescribedBy":45,"dataFootnoteRef":7,"id":47},"#user-content-fn-1",[46],"footnote-label","user-content-fnref-1",[49],{"type":29,"value":50},"1",{"type":23,"tag":32,"props":52,"children":53},{},[54],{"type":23,"tag":55,"props":56,"children":60},"mjx-container",{"className":57,"jax":59},[58],"MathJax","SVG",[61],{"type":23,"tag":62,"props":63,"children":72},"svg",{"style":64,"xmlns":65,"width":66,"height":67,"role":68,"focusable":69,"viewBox":70,"xmlnsXLink":71},"vertical-align: -0.71ex;","http://www.w3.org/2000/svg","33.55ex","2.406ex","img","false","0 -750 14829.2 1063.6","http://www.w3.org/1999/xlink",[73,157],{"type":23,"tag":74,"props":75,"children":76},"defs",{},[77,83,88,93,98,103,108,113,118,123,128,133,138,143,148,153],{"type":23,"tag":78,"props":79,"children":82},"path",{"id":80,"d":81},"MJX-1-TEX-I-1D43B","M228 637Q194 637 192 641Q191 643 191 649Q191 673 202 682Q204 683 219 683Q260 681 355 681Q389 681 418 681T463 682T483 682Q499 682 499 672Q499 670 497 658Q492 641 487 638H485Q483 638 480 638T473 638T464 637T455 637Q416 636 405 634T387 623Q384 619 355 500Q348 474 340 442T328 395L324 380Q324 378 469 378H614L615 381Q615 384 646 504Q674 619 674 627T617 637Q594 637 587 639T580 648Q580 650 582 660Q586 677 588 679T604 682Q609 682 646 681T740 680Q802 680 835 681T871 682Q888 682 888 672Q888 645 876 638H874Q872 638 869 638T862 638T853 637T844 637Q805 636 794 634T776 623Q773 618 704 340T634 58Q634 51 638 51Q646 48 692 46H723Q729 38 729 37T726 19Q722 6 716 0H701Q664 2 567 2Q533 2 504 2T458 2T437 1Q420 1 420 10Q420 15 423 24Q428 43 433 45Q437 46 448 46H454Q481 46 514 49Q520 50 522 50T528 55T534 64T540 82T547 110T558 153Q565 181 569 198Q602 330 602 331T457 332H312L279 197Q245 63 245 58Q245 51 253 49T303 46H334Q340 38 340 37T337 19Q333 6 327 0H312Q275 2 178 2Q144 2 115 2T69 2T48 1Q31 1 31 10Q31 12 34 24Q39 43 44 45Q48 46 59 46H65Q92 46 125 49Q139 52 144 61Q147 65 216 339T285 628Q285 635 228 637Z",[],{"type":23,"tag":78,"props":84,"children":87},{"id":85,"d":86},"MJX-1-TEX-I-1D44F","M73 647Q73 657 77 670T89 683Q90 683 161 688T234 694Q246 694 246 685T212 542Q204 508 195 472T180 418L176 399Q176 396 182 402Q231 442 283 442Q345 442 383 396T422 280Q422 169 343 79T173 -11Q123 -11 82 27T40 150V159Q40 180 48 217T97 414Q147 611 147 623T109 637Q104 637 101 637H96Q86 637 83 637T76 640T73 647ZM336 325V331Q336 405 275 405Q258 405 240 397T207 376T181 352T163 330L157 322L136 236Q114 150 114 114Q114 66 138 42Q154 26 178 26Q211 26 245 58Q270 81 285 114T318 219Q336 291 336 325Z",[],{"type":23,"tag":78,"props":89,"children":92},{"id":90,"d":91},"MJX-1-TEX-N-28","M94 250Q94 319 104 381T127 488T164 576T202 643T244 695T277 729T302 750H315H319Q333 750 333 741Q333 738 316 720T275 667T226 581T184 443T167 250T184 58T225 -81T274 -167T316 -220T333 -241Q333 -250 318 -250H315H302L274 -226Q180 -141 137 -14T94 250Z",[],{"type":23,"tag":78,"props":94,"children":97},{"id":95,"d":96},"MJX-1-TEX-I-1D446","M308 24Q367 24 416 76T466 197Q466 260 414 284Q308 311 278 321T236 341Q176 383 176 462Q176 523 208 573T273 648Q302 673 343 688T407 704H418H425Q521 704 564 640Q565 640 577 653T603 682T623 704Q624 704 627 704T632 705Q645 705 645 698T617 577T585 459T569 456Q549 456 549 465Q549 471 550 475Q550 478 551 494T553 520Q553 554 544 579T526 616T501 641Q465 662 419 662Q362 662 313 616T263 510Q263 480 278 458T319 427Q323 425 389 408T456 390Q490 379 522 342T554 242Q554 216 546 186Q541 164 528 137T492 78T426 18T332 -20Q320 -22 298 -22Q199 -22 144 33L134 44L106 13Q83 -14 78 -18T65 -22Q52 -22 52 -14Q52 -11 110 221Q112 227 130 227H143Q149 221 149 216Q149 214 148 207T144 186T142 153Q144 114 160 87T203 47T255 29T308 24Z",[],{"type":23,"tag":78,"props":99,"children":102},{"id":100,"d":101},"MJX-1-TEX-N-29","M60 749L64 750Q69 750 74 750H86L114 726Q208 641 251 514T294 250Q294 182 284 119T261 12T224 -76T186 -143T145 -194T113 -227T90 -246Q87 -249 86 -250H74Q66 -250 63 -250T58 -247T55 -238Q56 -237 66 -225Q221 -64 221 250T66 725Q56 737 55 738Q55 746 60 749Z",[],{"type":23,"tag":78,"props":104,"children":107},{"id":105,"d":106},"MJX-1-TEX-N-3D","M56 347Q56 360 70 367H707Q722 359 722 347Q722 336 708 328L390 327H72Q56 332 56 347ZM56 153Q56 168 72 173H708Q722 163 722 153Q722 140 707 133H70Q56 140 56 153Z",[],{"type":23,"tag":78,"props":109,"children":112},{"id":110,"d":111},"MJX-1-TEX-N-2212","M84 237T84 250T98 270H679Q694 262 694 250T679 230H98Q84 237 84 250Z",[],{"type":23,"tag":78,"props":114,"children":117},{"id":115,"d":116},"MJX-1-TEX-SO-2211","M61 748Q64 750 489 750H913L954 640Q965 609 976 579T993 533T999 516H979L959 517Q936 579 886 621T777 682Q724 700 655 705T436 710H319Q183 710 183 709Q186 706 348 484T511 259Q517 250 513 244L490 216Q466 188 420 134T330 27L149 -187Q149 -188 362 -188Q388 -188 436 -188T506 -189Q679 -189 778 -162T936 -43Q946 -27 959 6H999L913 -249L489 -250Q65 -250 62 -248Q56 -246 56 -239Q56 -234 118 -161Q186 -81 245 -11L428 206Q428 207 242 462L57 717L56 728Q56 744 61 748Z",[],{"type":23,"tag":78,"props":119,"children":122},{"id":120,"d":121},"MJX-1-TEX-I-1D460","M131 289Q131 321 147 354T203 415T300 442Q362 442 390 415T419 355Q419 323 402 308T364 292Q351 292 340 300T328 326Q328 342 337 354T354 372T367 378Q368 378 368 379Q368 382 361 388T336 399T297 405Q249 405 227 379T204 326Q204 301 223 291T278 274T330 259Q396 230 396 163Q396 135 385 107T352 51T289 7T195 -10Q118 -10 86 19T53 87Q53 126 74 143T118 160Q133 160 146 151T160 120Q160 94 142 76T111 58Q109 57 108 57T107 55Q108 52 115 47T146 34T201 27Q237 27 263 38T301 66T318 97T323 122Q323 150 302 164T254 181T195 196T148 231Q131 256 131 289Z",[],{"type":23,"tag":78,"props":124,"children":127},{"id":125,"d":126},"MJX-1-TEX-N-2208","M84 250Q84 372 166 450T360 539Q361 539 377 539T419 540T469 540H568Q583 532 583 520Q583 511 570 501L466 500Q355 499 329 494Q280 482 242 458T183 409T147 354T129 306T124 272V270H568Q583 262 583 250T568 230H124V228Q124 207 134 177T167 112T231 48T328 7Q355 1 466 0H570Q583 -10 583 -20Q583 -32 568 -40H471Q464 -40 446 -40T417 -41Q262 -41 172 45Q84 127 84 250Z",[],{"type":23,"tag":78,"props":129,"children":132},{"id":130,"d":131},"MJX-1-TEX-B-1D400","M296 0Q278 3 164 3Q58 3 49 0H40V62H92Q144 62 144 64Q388 682 397 689Q403 698 434 698Q463 698 471 689Q475 686 538 530T663 218L724 64Q724 62 776 62H828V0H817Q796 3 658 3Q509 3 485 0H472V62H517Q561 62 561 63L517 175H262L240 120Q218 65 217 64Q217 62 261 62H306V0H296ZM390 237L492 238L440 365Q390 491 388 491Q287 239 287 237H390Z",[],{"type":23,"tag":78,"props":134,"children":137},{"id":135,"d":136},"MJX-1-TEX-I-1D45D","M23 287Q24 290 25 295T30 317T40 348T55 381T75 411T101 433T134 442Q209 442 230 378L240 387Q302 442 358 442Q423 442 460 395T497 281Q497 173 421 82T249 -10Q227 -10 210 -4Q199 1 187 11T168 28L161 36Q160 35 139 -51T118 -138Q118 -144 126 -145T163 -148H188Q194 -155 194 -157T191 -175Q188 -187 185 -190T172 -194Q170 -194 161 -194T127 -193T65 -192Q-5 -192 -24 -194H-32Q-39 -187 -39 -183Q-37 -156 -26 -148H-6Q28 -147 33 -136Q36 -130 94 103T155 350Q156 355 156 364Q156 405 131 405Q109 405 94 377T71 316T59 280Q57 278 43 278H29Q23 284 23 287ZM178 102Q200 26 252 26Q282 26 310 49T356 107Q374 141 392 215T411 325V331Q411 405 350 405Q339 405 328 402T306 393T286 380T269 365T254 350T243 336T235 326L232 322Q232 321 229 308T218 264T204 212Q178 106 178 102Z",[],{"type":23,"tag":78,"props":139,"children":142},{"id":140,"d":141},"MJX-1-TEX-N-6C","M42 46H56Q95 46 103 60V68Q103 77 103 91T103 124T104 167T104 217T104 272T104 329Q104 366 104 407T104 482T104 542T103 586T103 603Q100 622 89 628T44 637H26V660Q26 683 28 683L38 684Q48 685 67 686T104 688Q121 689 141 690T171 693T182 694H185V379Q185 62 186 60Q190 52 198 49Q219 46 247 46H263V0H255L232 1Q209 2 183 2T145 3T107 3T57 1L34 0H26V46H42Z",[],{"type":23,"tag":78,"props":144,"children":147},{"id":145,"d":146},"MJX-1-TEX-N-6F","M28 214Q28 309 93 378T250 448Q340 448 405 380T471 215Q471 120 407 55T250 -10Q153 -10 91 57T28 214ZM250 30Q372 30 372 193V225V250Q372 272 371 288T364 326T348 362T317 390T268 410Q263 411 252 411Q222 411 195 399Q152 377 139 338T126 246V226Q126 130 145 91Q177 30 250 30Z",[],{"type":23,"tag":78,"props":149,"children":152},{"id":150,"d":151},"MJX-1-TEX-N-67","M329 409Q373 453 429 453Q459 453 472 434T485 396Q485 382 476 371T449 360Q416 360 412 390Q410 404 415 411Q415 412 416 414V415Q388 412 363 393Q355 388 355 386Q355 385 359 381T368 369T379 351T388 325T392 292Q392 230 343 187T222 143Q172 143 123 171Q112 153 112 133Q112 98 138 81Q147 75 155 75T227 73Q311 72 335 67Q396 58 431 26Q470 -13 470 -72Q470 -139 392 -175Q332 -206 250 -206Q167 -206 107 -175Q29 -140 29 -75Q29 -39 50 -15T92 18L103 24Q67 55 67 108Q67 155 96 193Q52 237 52 292Q52 355 102 398T223 442Q274 442 318 416L329 409ZM299 343Q294 371 273 387T221 404Q192 404 171 388T145 343Q142 326 142 292Q142 248 149 227T179 192Q196 182 222 182Q244 182 260 189T283 207T294 227T299 242Q302 258 302 292T299 343ZM403 -75Q403 -50 389 -34T348 -11T299 -2T245 0H218Q151 0 138 -6Q118 -15 107 -34T95 -74Q95 -84 101 -97T122 -127T170 -155T250 -167Q319 -167 361 -139T403 -75Z",[],{"type":23,"tag":78,"props":154,"children":156},{"id":155,"d":7},"MJX-1-TEX-N-2061",[],{"type":23,"tag":158,"props":159,"children":163},"g",{"stroke":160,"fill":160,"stroke-width":161,"transform":162},"currentColor","0","scale(1,-1)",[164],{"type":23,"tag":158,"props":165,"children":167},{"dataMmlNode":166},"math",[168,191,201,210,219,228,237,285],{"type":23,"tag":158,"props":169,"children":171},{"dataMmlNode":170},"msub",[172,182],{"type":23,"tag":158,"props":173,"children":175},{"dataMmlNode":174},"mi",[176],{"type":23,"tag":177,"props":178,"children":181},"use",{"dataC":179,"xLinkHref":180},"1D43B","#MJX-1-TEX-I-1D43B",[],{"type":23,"tag":158,"props":183,"children":185},{"dataMmlNode":174,"transform":184},"translate(864,-150) scale(0.707)",[186],{"type":23,"tag":177,"props":187,"children":190},{"dataC":188,"xLinkHref":189},"1D44F","#MJX-1-TEX-I-1D44F",[],{"type":23,"tag":158,"props":192,"children":195},{"dataMmlNode":193,"transform":194},"mo","translate(1217.3,0)",[196],{"type":23,"tag":177,"props":197,"children":200},{"dataC":198,"xLinkHref":199},"28","#MJX-1-TEX-N-28",[],{"type":23,"tag":158,"props":202,"children":204},{"dataMmlNode":174,"transform":203},"translate(1606.3,0)",[205],{"type":23,"tag":177,"props":206,"children":209},{"dataC":207,"xLinkHref":208},"1D446","#MJX-1-TEX-I-1D446",[],{"type":23,"tag":158,"props":211,"children":213},{"dataMmlNode":193,"transform":212},"translate(2251.3,0)",[214],{"type":23,"tag":177,"props":215,"children":218},{"dataC":216,"xLinkHref":217},"29","#MJX-1-TEX-N-29",[],{"type":23,"tag":158,"props":220,"children":222},{"dataMmlNode":193,"transform":221},"translate(2918.1,0)",[223],{"type":23,"tag":177,"props":224,"children":227},{"dataC":225,"xLinkHref":226},"3D","#MJX-1-TEX-N-3D",[],{"type":23,"tag":158,"props":229,"children":231},{"dataMmlNode":193,"transform":230},"translate(3973.9,0)",[232],{"type":23,"tag":177,"props":233,"children":236},{"dataC":234,"xLinkHref":235},"2212","#MJX-1-TEX-N-2212",[],{"type":23,"tag":158,"props":238,"children":241},{"dataMmlNode":239,"transform":240},"munder","translate(4918.6,0)",[242,250],{"type":23,"tag":158,"props":243,"children":244},{"dataMmlNode":193},[245],{"type":23,"tag":177,"props":246,"children":249},{"dataC":247,"xLinkHref":248},"2211","#MJX-1-TEX-SO-2211",[],{"type":23,"tag":158,"props":251,"children":255},{"dataMmlNode":252,"transform":253,"dataMjxTexclass":254},"TeXAtom","translate(1089,-285.4) scale(0.707)","ORD",[256,264,273],{"type":23,"tag":158,"props":257,"children":258},{"dataMmlNode":174},[259],{"type":23,"tag":177,"props":260,"children":263},{"dataC":261,"xLinkHref":262},"1D460","#MJX-1-TEX-I-1D460",[],{"type":23,"tag":158,"props":265,"children":267},{"dataMmlNode":193,"transform":266},"translate(469,0)",[268],{"type":23,"tag":177,"props":269,"children":272},{"dataC":270,"xLinkHref":271},"2208","#MJX-1-TEX-N-2208",[],{"type":23,"tag":158,"props":274,"children":276},{"dataMmlNode":252,"dataMjxTexclass":254,"transform":275},"translate(1136,0)",[277],{"type":23,"tag":158,"props":278,"children":279},{"dataMmlNode":174},[280],{"type":23,"tag":177,"props":281,"children":284},{"dataC":282,"xLinkHref":283},"1D400","#MJX-1-TEX-B-1D400",[],{"type":23,"tag":158,"props":286,"children":288},{"dataMmlNode":252,"dataMjxTexclass":254,"transform":287},"translate(7642,0)",[289,307,314,321,328,359,368,374,390,397,404,411],{"type":23,"tag":158,"props":290,"children":291},{"dataMmlNode":170},[292,300],{"type":23,"tag":158,"props":293,"children":294},{"dataMmlNode":174},[295],{"type":23,"tag":177,"props":296,"children":299},{"dataC":297,"xLinkHref":298},"1D45D","#MJX-1-TEX-I-1D45D",[],{"type":23,"tag":158,"props":301,"children":303},{"dataMmlNode":174,"transform":302},"translate(536,-150) scale(0.707)",[304],{"type":23,"tag":177,"props":305,"children":306},{"dataC":207,"xLinkHref":208},[],{"type":23,"tag":158,"props":308,"children":310},{"dataMmlNode":193,"transform":309},"translate(1042.1,0)",[311],{"type":23,"tag":177,"props":312,"children":313},{"dataC":198,"xLinkHref":199},[],{"type":23,"tag":158,"props":315,"children":317},{"dataMmlNode":174,"transform":316},"translate(1431.1,0)",[318],{"type":23,"tag":177,"props":319,"children":320},{"dataC":261,"xLinkHref":262},[],{"type":23,"tag":158,"props":322,"children":324},{"dataMmlNode":193,"transform":323},"translate(1900.1,0)",[325],{"type":23,"tag":177,"props":326,"children":327},{"dataC":216,"xLinkHref":217},[],{"type":23,"tag":158,"props":329,"children":331},{"dataMmlNode":170,"transform":330},"translate(2455.8,0)",[332,352],{"type":23,"tag":158,"props":333,"children":334},{"dataMmlNode":174},[335,340,346],{"type":23,"tag":177,"props":336,"children":339},{"dataC":337,"xLinkHref":338},"6C","#MJX-1-TEX-N-6C",[],{"type":23,"tag":177,"props":341,"children":345},{"dataC":342,"xLinkHref":343,"transform":344},"6F","#MJX-1-TEX-N-6F","translate(278,0)",[],{"type":23,"tag":177,"props":347,"children":351},{"dataC":348,"xLinkHref":349,"transform":350},"67","#MJX-1-TEX-N-67","translate(778,0)",[],{"type":23,"tag":158,"props":353,"children":355},{"dataMmlNode":174,"transform":354},"translate(1311,-241.4) scale(0.707)",[356],{"type":23,"tag":177,"props":357,"children":358},{"dataC":188,"xLinkHref":189},[],{"type":23,"tag":158,"props":360,"children":362},{"dataMmlNode":193,"transform":361},"translate(4120.1,0)",[363],{"type":23,"tag":177,"props":364,"children":367},{"dataC":365,"xLinkHref":366},"2061","#MJX-1-TEX-N-2061",[],{"type":23,"tag":158,"props":369,"children":370},{"dataMmlNode":193,"transform":361},[371],{"type":23,"tag":177,"props":372,"children":373},{"dataC":198,"xLinkHref":199},[],{"type":23,"tag":158,"props":375,"children":377},{"dataMmlNode":170,"transform":376},"translate(4509.1,0)",[378,384],{"type":23,"tag":158,"props":379,"children":380},{"dataMmlNode":174},[381],{"type":23,"tag":177,"props":382,"children":383},{"dataC":297,"xLinkHref":298},[],{"type":23,"tag":158,"props":385,"children":386},{"dataMmlNode":174,"transform":302},[387],{"type":23,"tag":177,"props":388,"children":389},{"dataC":207,"xLinkHref":208},[],{"type":23,"tag":158,"props":391,"children":393},{"dataMmlNode":193,"transform":392},"translate(5551.2,0)",[394],{"type":23,"tag":177,"props":395,"children":396},{"dataC":198,"xLinkHref":199},[],{"type":23,"tag":158,"props":398,"children":400},{"dataMmlNode":174,"transform":399},"translate(5940.2,0)",[401],{"type":23,"tag":177,"props":402,"children":403},{"dataC":261,"xLinkHref":262},[],{"type":23,"tag":158,"props":405,"children":407},{"dataMmlNode":193,"transform":406},"translate(6409.2,0)",[408],{"type":23,"tag":177,"props":409,"children":410},{"dataC":216,"xLinkHref":217},[],{"type":23,"tag":158,"props":412,"children":414},{"dataMmlNode":193,"transform":413},"translate(6798.2,0)",[415],{"type":23,"tag":177,"props":416,"children":417},{"dataC":216,"xLinkHref":217},[],{"type":23,"tag":32,"props":419,"children":420},{},[421],{"type":29,"value":422},"By convention, when the base b is not specified, we use the base 2 (binary system): b = 2.",{"type":23,"tag":32,"props":424,"children":425},{},[426,432,434],{"type":23,"tag":427,"props":428,"children":429},"em",{},[430],{"type":29,"value":431},"Information Theory (IT) inequality",{"type":29,"value":433}," :\n",{"type":23,"tag":55,"props":435,"children":437},{"className":436,"jax":59},[58],[438],{"type":23,"tag":62,"props":439,"children":444},{"style":440,"xmlns":65,"width":441,"height":442,"role":68,"focusable":69,"viewBox":443,"xmlnsXLink":71},"vertical-align: -0.566ex;","22.739ex","2.262ex","0 -750 10050.7 1000",[445,500],{"type":23,"tag":74,"props":446,"children":447},{},[448,453,458,463,467,471,476,480,485,490,495],{"type":23,"tag":78,"props":449,"children":452},{"id":450,"d":451},"MJX-2-TEX-I-1D459","M117 59Q117 26 142 26Q179 26 205 131Q211 151 215 152Q217 153 225 153H229Q238 153 241 153T246 151T248 144Q247 138 245 128T234 90T214 43T183 6T137 -11Q101 -11 70 11T38 85Q38 97 39 102L104 360Q167 615 167 623Q167 626 166 628T162 632T157 634T149 635T141 636T132 637T122 637Q112 637 109 637T101 638T95 641T94 647Q94 649 96 661Q101 680 107 682T179 688Q194 689 213 690T243 693T254 694Q266 694 266 686Q266 675 193 386T118 83Q118 81 118 75T117 65V59Z",[],{"type":23,"tag":78,"props":454,"children":457},{"id":455,"d":456},"MJX-2-TEX-I-1D45C","M201 -11Q126 -11 80 38T34 156Q34 221 64 279T146 380Q222 441 301 441Q333 441 341 440Q354 437 367 433T402 417T438 387T464 338T476 268Q476 161 390 75T201 -11ZM121 120Q121 70 147 48T206 26Q250 26 289 58T351 142Q360 163 374 216T388 308Q388 352 370 375Q346 405 306 405Q243 405 195 347Q158 303 140 230T121 120Z",[],{"type":23,"tag":78,"props":459,"children":462},{"id":460,"d":461},"MJX-2-TEX-I-1D454","M311 43Q296 30 267 15T206 0Q143 0 105 45T66 160Q66 265 143 353T314 442Q361 442 401 394L404 398Q406 401 409 404T418 412T431 419T447 422Q461 422 470 413T480 394Q480 379 423 152T363 -80Q345 -134 286 -169T151 -205Q10 -205 10 -137Q10 -111 28 -91T74 -71Q89 -71 102 -80T116 -111Q116 -121 114 -130T107 -144T99 -154T92 -162L90 -164H91Q101 -167 151 -167Q189 -167 211 -155Q234 -144 254 -122T282 -75Q288 -56 298 -13Q311 35 311 43ZM384 328L380 339Q377 350 375 354T369 368T359 382T346 393T328 402T306 405Q262 405 221 352Q191 313 171 233T151 117Q151 38 213 38Q269 38 323 108L331 118L384 328Z",[],{"type":23,"tag":78,"props":464,"children":466},{"id":465,"d":86},"MJX-2-TEX-I-1D44F",[],{"type":23,"tag":78,"props":468,"children":470},{"id":469,"d":91},"MJX-2-TEX-N-28",[],{"type":23,"tag":78,"props":472,"children":475},{"id":473,"d":474},"MJX-2-TEX-I-1D45F","M21 287Q22 290 23 295T28 317T38 348T53 381T73 411T99 433T132 442Q161 442 183 430T214 408T225 388Q227 382 228 382T236 389Q284 441 347 441H350Q398 441 422 400Q430 381 430 363Q430 333 417 315T391 292T366 288Q346 288 334 299T322 328Q322 376 378 392Q356 405 342 405Q286 405 239 331Q229 315 224 298T190 165Q156 25 151 16Q138 -11 108 -11Q95 -11 87 -5T76 7T74 17Q74 30 114 189T154 366Q154 405 128 405Q107 405 92 377T68 316T57 280Q55 278 41 278H27Q21 284 21 287Z",[],{"type":23,"tag":78,"props":477,"children":479},{"id":478,"d":101},"MJX-2-TEX-N-29",[],{"type":23,"tag":78,"props":481,"children":484},{"id":482,"d":483},"MJX-2-TEX-N-2264","M674 636Q682 636 688 630T694 615T687 601Q686 600 417 472L151 346L399 228Q687 92 691 87Q694 81 694 76Q694 58 676 56H670L382 192Q92 329 90 331Q83 336 83 348Q84 359 96 365Q104 369 382 500T665 634Q669 636 674 636ZM84 -118Q84 -108 99 -98H678Q694 -104 694 -118Q694 -130 679 -138H98Q84 -131 84 -118Z",[],{"type":23,"tag":78,"props":486,"children":489},{"id":487,"d":488},"MJX-2-TEX-N-2B","M56 237T56 250T70 270H369V420L370 570Q380 583 389 583Q402 583 409 568V270H707Q722 262 722 250T707 230H409V-68Q401 -82 391 -82H389H387Q375 -82 369 -68V230H70Q56 237 56 250Z",[],{"type":23,"tag":78,"props":491,"children":494},{"id":492,"d":493},"MJX-2-TEX-N-31","M213 578L200 573Q186 568 160 563T102 556H83V602H102Q149 604 189 617T245 641T273 663Q275 666 285 666Q294 666 302 660V361L303 61Q310 54 315 52T339 48T401 46H427V0H416Q395 3 257 3Q121 3 100 0H88V46H114Q136 46 152 46T177 47T193 50T201 52T207 57T213 61V578Z",[],{"type":23,"tag":78,"props":496,"children":499},{"id":497,"d":498},"MJX-2-TEX-I-1D452","M39 168Q39 225 58 272T107 350T174 402T244 433T307 442H310Q355 442 388 420T421 355Q421 265 310 237Q261 224 176 223Q139 223 138 221Q138 219 132 186T125 128Q125 81 146 54T209 26T302 45T394 111Q403 121 406 121Q410 121 419 112T429 98T420 82T390 55T344 24T281 -1T205 -11Q126 -11 83 42T39 168ZM373 353Q367 405 305 405Q272 405 244 391T199 357T170 316T154 280T149 261Q149 260 169 260Q282 260 327 284T373 353Z",[],{"type":23,"tag":158,"props":501,"children":502},{"stroke":160,"fill":160,"stroke-width":161,"transform":162},[503],{"type":23,"tag":158,"props":504,"children":505},{"dataMmlNode":166},[506,514,523,543,551,560,568,577,584,591,600,610,617,624,631,647,654,663],{"type":23,"tag":158,"props":507,"children":508},{"dataMmlNode":174},[509],{"type":23,"tag":177,"props":510,"children":513},{"dataC":511,"xLinkHref":512},"1D459","#MJX-2-TEX-I-1D459",[],{"type":23,"tag":158,"props":515,"children":517},{"dataMmlNode":174,"transform":516},"translate(298,0)",[518],{"type":23,"tag":177,"props":519,"children":522},{"dataC":520,"xLinkHref":521},"1D45C","#MJX-2-TEX-I-1D45C",[],{"type":23,"tag":158,"props":524,"children":526},{"dataMmlNode":170,"transform":525},"translate(783,0)",[527,535],{"type":23,"tag":158,"props":528,"children":529},{"dataMmlNode":174},[530],{"type":23,"tag":177,"props":531,"children":534},{"dataC":532,"xLinkHref":533},"1D454","#MJX-2-TEX-I-1D454",[],{"type":23,"tag":158,"props":536,"children":538},{"dataMmlNode":174,"transform":537},"translate(510,-150) scale(0.707)",[539],{"type":23,"tag":177,"props":540,"children":542},{"dataC":188,"xLinkHref":541},"#MJX-2-TEX-I-1D44F",[],{"type":23,"tag":158,"props":544,"children":546},{"dataMmlNode":193,"transform":545},"translate(1646.3,0)",[547],{"type":23,"tag":177,"props":548,"children":550},{"dataC":198,"xLinkHref":549},"#MJX-2-TEX-N-28",[],{"type":23,"tag":158,"props":552,"children":554},{"dataMmlNode":174,"transform":553},"translate(2035.3,0)",[555],{"type":23,"tag":177,"props":556,"children":559},{"dataC":557,"xLinkHref":558},"1D45F","#MJX-2-TEX-I-1D45F",[],{"type":23,"tag":158,"props":561,"children":563},{"dataMmlNode":193,"transform":562},"translate(2486.3,0)",[564],{"type":23,"tag":177,"props":565,"children":567},{"dataC":216,"xLinkHref":566},"#MJX-2-TEX-N-29",[],{"type":23,"tag":158,"props":569,"children":571},{"dataMmlNode":193,"transform":570},"translate(3153.1,0)",[572],{"type":23,"tag":177,"props":573,"children":576},{"dataC":574,"xLinkHref":575},"2264","#MJX-2-TEX-N-2264",[],{"type":23,"tag":158,"props":578,"children":580},{"dataMmlNode":193,"transform":579},"translate(4208.9,0)",[581],{"type":23,"tag":177,"props":582,"children":583},{"dataC":198,"xLinkHref":549},[],{"type":23,"tag":158,"props":585,"children":587},{"dataMmlNode":174,"transform":586},"translate(4597.9,0)",[588],{"type":23,"tag":177,"props":589,"children":590},{"dataC":557,"xLinkHref":558},[],{"type":23,"tag":158,"props":592,"children":594},{"dataMmlNode":193,"transform":593},"translate(5271.1,0)",[595],{"type":23,"tag":177,"props":596,"children":599},{"dataC":597,"xLinkHref":598},"2B","#MJX-2-TEX-N-2B",[],{"type":23,"tag":158,"props":601,"children":604},{"dataMmlNode":602,"transform":603},"mn","translate(6271.3,0)",[605],{"type":23,"tag":177,"props":606,"children":609},{"dataC":607,"xLinkHref":608},"31","#MJX-2-TEX-N-31",[],{"type":23,"tag":158,"props":611,"children":613},{"dataMmlNode":193,"transform":612},"translate(6771.3,0)",[614],{"type":23,"tag":177,"props":615,"children":616},{"dataC":216,"xLinkHref":566},[],{"type":23,"tag":158,"props":618,"children":620},{"dataMmlNode":174,"transform":619},"translate(7160.3,0)",[621],{"type":23,"tag":177,"props":622,"children":623},{"dataC":511,"xLinkHref":512},[],{"type":23,"tag":158,"props":625,"children":627},{"dataMmlNode":174,"transform":626},"translate(7458.3,0)",[628],{"type":23,"tag":177,"props":629,"children":630},{"dataC":520,"xLinkHref":521},[],{"type":23,"tag":158,"props":632,"children":634},{"dataMmlNode":170,"transform":633},"translate(7943.3,0)",[635,641],{"type":23,"tag":158,"props":636,"children":637},{"dataMmlNode":174},[638],{"type":23,"tag":177,"props":639,"children":640},{"dataC":532,"xLinkHref":533},[],{"type":23,"tag":158,"props":642,"children":643},{"dataMmlNode":174,"transform":537},[644],{"type":23,"tag":177,"props":645,"children":646},{"dataC":188,"xLinkHref":541},[],{"type":23,"tag":158,"props":648,"children":650},{"dataMmlNode":193,"transform":649},"translate(8806.7,0)",[651],{"type":23,"tag":177,"props":652,"children":653},{"dataC":198,"xLinkHref":549},[],{"type":23,"tag":158,"props":655,"children":657},{"dataMmlNode":174,"transform":656},"translate(9195.7,0)",[658],{"type":23,"tag":177,"props":659,"children":662},{"dataC":660,"xLinkHref":661},"1D452","#MJX-2-TEX-I-1D452",[],{"type":23,"tag":158,"props":664,"children":666},{"dataMmlNode":193,"transform":665},"translate(9661.7,0)",[667],{"type":23,"tag":177,"props":668,"children":669},{"dataC":216,"xLinkHref":566},[],{"type":23,"tag":32,"props":671,"children":672},{},[673,675,740],{"type":29,"value":674},"for all ",{"type":23,"tag":676,"props":677,"children":680},"span",{"className":678},[679],"inline-math",[681],{"type":23,"tag":55,"props":682,"children":684},{"className":683,"jax":59},[58],[685],{"type":23,"tag":62,"props":686,"children":691},{"style":687,"xmlns":65,"width":688,"height":689,"role":68,"focusable":69,"viewBox":690,"xmlnsXLink":71},"vertical-align: -0.09ex;","5.169ex","1.597ex","0 -666 2284.6 706",[692,709],{"type":23,"tag":74,"props":693,"children":694},{},[695,699,704],{"type":23,"tag":78,"props":696,"children":698},{"id":697,"d":474},"MJX-3-TEX-I-1D45F",[],{"type":23,"tag":78,"props":700,"children":703},{"id":701,"d":702},"MJX-3-TEX-N-3E","M84 520Q84 528 88 533T96 539L99 540Q106 540 253 471T544 334L687 265Q694 260 694 250T687 235Q685 233 395 96L107 -40H101Q83 -38 83 -20Q83 -19 83 -17Q82 -10 98 -1Q117 9 248 71Q326 108 378 132L626 250L378 368Q90 504 86 509Q84 513 84 520Z",[],{"type":23,"tag":78,"props":705,"children":708},{"id":706,"d":707},"MJX-3-TEX-N-30","M96 585Q152 666 249 666Q297 666 345 640T423 548Q460 465 460 320Q460 165 417 83Q397 41 362 16T301 -15T250 -22Q224 -22 198 -16T137 16T82 83Q39 165 39 320Q39 494 96 585ZM321 597Q291 629 250 629Q208 629 178 597Q153 571 145 525T137 333Q137 175 145 125T181 46Q209 16 250 16Q290 16 318 46Q347 76 354 130T362 333Q362 478 354 524T321 597Z",[],{"type":23,"tag":158,"props":710,"children":711},{"stroke":160,"fill":160,"stroke-width":161,"transform":162},[712],{"type":23,"tag":158,"props":713,"children":714},{"dataMmlNode":166},[715,722,731],{"type":23,"tag":158,"props":716,"children":717},{"dataMmlNode":174},[718],{"type":23,"tag":177,"props":719,"children":721},{"dataC":557,"xLinkHref":720},"#MJX-3-TEX-I-1D45F",[],{"type":23,"tag":158,"props":723,"children":725},{"dataMmlNode":193,"transform":724},"translate(728.8,0)",[726],{"type":23,"tag":177,"props":727,"children":730},{"dataC":728,"xLinkHref":729},"3E","#MJX-3-TEX-N-3E",[],{"type":23,"tag":158,"props":732,"children":734},{"dataMmlNode":602,"transform":733},"translate(1784.6,0)",[735],{"type":23,"tag":177,"props":736,"children":739},{"dataC":737,"xLinkHref":738},"30","#MJX-3-TEX-N-30",[],{"type":29,"value":741},".",{"type":23,"tag":32,"props":743,"children":744},{},[745],{"type":29,"value":746},"The average codewords length:",{"type":23,"tag":32,"props":748,"children":749},{},[750],{"type":23,"tag":55,"props":751,"children":753},{"className":752,"jax":59},[58],[754],{"type":23,"tag":62,"props":755,"children":758},{"style":64,"xmlns":65,"width":756,"height":67,"role":68,"focusable":69,"viewBox":757,"xmlnsXLink":71},"28.642ex","0 -750 12659.7 1063.6",[759,817],{"type":23,"tag":74,"props":760,"children":761},{},[762,767,771,775,780,785,789,793,797,801,805,809,813],{"type":23,"tag":78,"props":763,"children":766},{"id":764,"d":765},"MJX-4-TEX-I-1D43F","M228 637Q194 637 192 641Q191 643 191 649Q191 673 202 682Q204 683 217 683Q271 680 344 680Q485 680 506 683H518Q524 677 524 674T522 656Q517 641 513 637H475Q406 636 394 628Q387 624 380 600T313 336Q297 271 279 198T252 88L243 52Q243 48 252 48T311 46H328Q360 46 379 47T428 54T478 72T522 106T564 161Q580 191 594 228T611 270Q616 273 628 273H641Q647 264 647 262T627 203T583 83T557 9Q555 4 553 3T537 0T494 -1Q483 -1 418 -1T294 0H116Q32 0 32 10Q32 17 34 24Q39 43 44 45Q48 46 59 46H65Q92 46 125 49Q139 52 144 61Q147 65 216 339T285 628Q285 635 228 637Z",[],{"type":23,"tag":78,"props":768,"children":770},{"id":769,"d":91},"MJX-4-TEX-N-28",[],{"type":23,"tag":78,"props":772,"children":774},{"id":773,"d":96},"MJX-4-TEX-I-1D446",[],{"type":23,"tag":78,"props":776,"children":779},{"id":777,"d":778},"MJX-4-TEX-N-2C","M78 35T78 60T94 103T137 121Q165 121 187 96T210 8Q210 -27 201 -60T180 -117T154 -158T130 -185T117 -194Q113 -194 104 -185T95 -172Q95 -168 106 -156T131 -126T157 -76T173 -3V9L172 8Q170 7 167 6T161 3T152 1T140 0Q113 0 96 17Z",[],{"type":23,"tag":78,"props":781,"children":784},{"id":782,"d":783},"MJX-4-TEX-I-1D6E4","M49 1Q31 1 31 10Q31 12 34 24Q39 43 44 45Q48 46 59 46H65Q92 46 125 49Q139 52 144 61Q146 66 215 342T285 622Q285 629 281 629Q273 632 228 634H197Q191 640 191 642T193 661Q197 674 203 680H714Q721 676 721 669Q721 664 708 557T694 447Q692 440 674 440H662Q655 445 655 454Q655 455 658 480T661 534Q661 572 652 592Q638 619 603 626T501 634H471Q398 633 393 630Q389 628 386 622Q385 619 315 341T245 60Q245 46 333 46H345Q366 46 366 35Q366 33 363 21T358 6Q356 1 339 1Q334 1 292 1T187 2Q122 2 88 2T49 1Z",[],{"type":23,"tag":78,"props":786,"children":788},{"id":787,"d":101},"MJX-4-TEX-N-29",[],{"type":23,"tag":78,"props":790,"children":792},{"id":791,"d":106},"MJX-4-TEX-N-3D",[],{"type":23,"tag":78,"props":794,"children":796},{"id":795,"d":116},"MJX-4-TEX-SO-2211",[],{"type":23,"tag":78,"props":798,"children":800},{"id":799,"d":121},"MJX-4-TEX-I-1D460",[],{"type":23,"tag":78,"props":802,"children":804},{"id":803,"d":126},"MJX-4-TEX-N-2208",[],{"type":23,"tag":78,"props":806,"children":808},{"id":807,"d":131},"MJX-4-TEX-B-1D400",[],{"type":23,"tag":78,"props":810,"children":812},{"id":811,"d":136},"MJX-4-TEX-I-1D45D",[],{"type":23,"tag":78,"props":814,"children":816},{"id":815,"d":451},"MJX-4-TEX-I-1D459",[],{"type":23,"tag":158,"props":818,"children":819},{"stroke":160,"fill":160,"stroke-width":161,"transform":162},[820],{"type":23,"tag":158,"props":821,"children":822},{"dataMmlNode":166},[823,831,839,847,856,865,873,881,919,936,943,950,957,965,972,979,986,993,1000],{"type":23,"tag":158,"props":824,"children":825},{"dataMmlNode":174},[826],{"type":23,"tag":177,"props":827,"children":830},{"dataC":828,"xLinkHref":829},"1D43F","#MJX-4-TEX-I-1D43F",[],{"type":23,"tag":158,"props":832,"children":834},{"dataMmlNode":193,"transform":833},"translate(681,0)",[835],{"type":23,"tag":177,"props":836,"children":838},{"dataC":198,"xLinkHref":837},"#MJX-4-TEX-N-28",[],{"type":23,"tag":158,"props":840,"children":842},{"dataMmlNode":174,"transform":841},"translate(1070,0)",[843],{"type":23,"tag":177,"props":844,"children":846},{"dataC":207,"xLinkHref":845},"#MJX-4-TEX-I-1D446",[],{"type":23,"tag":158,"props":848,"children":850},{"dataMmlNode":193,"transform":849},"translate(1715,0)",[851],{"type":23,"tag":177,"props":852,"children":855},{"dataC":853,"xLinkHref":854},"2C","#MJX-4-TEX-N-2C",[],{"type":23,"tag":158,"props":857,"children":859},{"dataMmlNode":174,"transform":858},"translate(2159.7,0)",[860],{"type":23,"tag":177,"props":861,"children":864},{"dataC":862,"xLinkHref":863},"1D6E4","#MJX-4-TEX-I-1D6E4",[],{"type":23,"tag":158,"props":866,"children":868},{"dataMmlNode":193,"transform":867},"translate(2880.7,0)",[869],{"type":23,"tag":177,"props":870,"children":872},{"dataC":216,"xLinkHref":871},"#MJX-4-TEX-N-29",[],{"type":23,"tag":158,"props":874,"children":876},{"dataMmlNode":193,"transform":875},"translate(3547.4,0)",[877],{"type":23,"tag":177,"props":878,"children":880},{"dataC":225,"xLinkHref":879},"#MJX-4-TEX-N-3D",[],{"type":23,"tag":158,"props":882,"children":884},{"dataMmlNode":239,"transform":883},"translate(4603.2,0)",[885,892],{"type":23,"tag":158,"props":886,"children":887},{"dataMmlNode":193},[888],{"type":23,"tag":177,"props":889,"children":891},{"dataC":247,"xLinkHref":890},"#MJX-4-TEX-SO-2211",[],{"type":23,"tag":158,"props":893,"children":894},{"dataMmlNode":252,"transform":253,"dataMjxTexclass":254},[895,902,909],{"type":23,"tag":158,"props":896,"children":897},{"dataMmlNode":174},[898],{"type":23,"tag":177,"props":899,"children":901},{"dataC":261,"xLinkHref":900},"#MJX-4-TEX-I-1D460",[],{"type":23,"tag":158,"props":903,"children":904},{"dataMmlNode":193,"transform":266},[905],{"type":23,"tag":177,"props":906,"children":908},{"dataC":270,"xLinkHref":907},"#MJX-4-TEX-N-2208",[],{"type":23,"tag":158,"props":910,"children":911},{"dataMmlNode":252,"dataMjxTexclass":254,"transform":275},[912],{"type":23,"tag":158,"props":913,"children":914},{"dataMmlNode":174},[915],{"type":23,"tag":177,"props":916,"children":918},{"dataC":282,"xLinkHref":917},"#MJX-4-TEX-B-1D400",[],{"type":23,"tag":158,"props":920,"children":922},{"dataMmlNode":170,"transform":921},"translate(7326.6,0)",[923,930],{"type":23,"tag":158,"props":924,"children":925},{"dataMmlNode":174},[926],{"type":23,"tag":177,"props":927,"children":929},{"dataC":297,"xLinkHref":928},"#MJX-4-TEX-I-1D45D",[],{"type":23,"tag":158,"props":931,"children":932},{"dataMmlNode":174,"transform":302},[933],{"type":23,"tag":177,"props":934,"children":935},{"dataC":207,"xLinkHref":845},[],{"type":23,"tag":158,"props":937,"children":939},{"dataMmlNode":193,"transform":938},"translate(8368.7,0)",[940],{"type":23,"tag":177,"props":941,"children":942},{"dataC":198,"xLinkHref":837},[],{"type":23,"tag":158,"props":944,"children":946},{"dataMmlNode":174,"transform":945},"translate(8757.7,0)",[947],{"type":23,"tag":177,"props":948,"children":949},{"dataC":261,"xLinkHref":900},[],{"type":23,"tag":158,"props":951,"children":953},{"dataMmlNode":193,"transform":952},"translate(9226.7,0)",[954],{"type":23,"tag":177,"props":955,"children":956},{"dataC":216,"xLinkHref":871},[],{"type":23,"tag":158,"props":958,"children":960},{"dataMmlNode":174,"transform":959},"translate(9615.7,0)",[961],{"type":23,"tag":177,"props":962,"children":964},{"dataC":511,"xLinkHref":963},"#MJX-4-TEX-I-1D459",[],{"type":23,"tag":158,"props":966,"children":968},{"dataMmlNode":193,"transform":967},"translate(9913.7,0)",[969],{"type":23,"tag":177,"props":970,"children":971},{"dataC":198,"xLinkHref":837},[],{"type":23,"tag":158,"props":973,"children":975},{"dataMmlNode":174,"transform":974},"translate(10302.7,0)",[976],{"type":23,"tag":177,"props":977,"children":978},{"dataC":862,"xLinkHref":863},[],{"type":23,"tag":158,"props":980,"children":982},{"dataMmlNode":193,"transform":981},"translate(11023.7,0)",[983],{"type":23,"tag":177,"props":984,"children":985},{"dataC":198,"xLinkHref":837},[],{"type":23,"tag":158,"props":987,"children":989},{"dataMmlNode":174,"transform":988},"translate(11412.7,0)",[990],{"type":23,"tag":177,"props":991,"children":992},{"dataC":261,"xLinkHref":900},[],{"type":23,"tag":158,"props":994,"children":996},{"dataMmlNode":193,"transform":995},"translate(11881.7,0)",[997],{"type":23,"tag":177,"props":998,"children":999},{"dataC":216,"xLinkHref":871},[],{"type":23,"tag":158,"props":1001,"children":1003},{"dataMmlNode":193,"transform":1002},"translate(12270.7,0)",[1004],{"type":23,"tag":177,"props":1005,"children":1006},{"dataC":216,"xLinkHref":871},[],{"type":23,"tag":32,"props":1008,"children":1009},{},[1010,1012,1016],{"type":29,"value":1011},"We have the following property:",{"type":23,"tag":1013,"props":1014,"children":1015},"br",{},[],{"type":23,"tag":676,"props":1017,"children":1019},{"className":1018},[679],[1020,1022,1110,1112,1169],{"type":29,"value":1021},"Let ",{"type":23,"tag":55,"props":1023,"children":1025},{"className":1024,"jax":59},[58],[1026],{"type":23,"tag":62,"props":1027,"children":1032},{"style":1028,"xmlns":65,"width":1029,"height":1030,"role":68,"focusable":69,"viewBox":1031,"xmlnsXLink":71},"vertical-align: -0.05ex;","10.722ex","1.645ex","0 -705 4739.1 727",[1033,1059],{"type":23,"tag":74,"props":1034,"children":1035},{},[1036,1040,1045,1049,1054],{"type":23,"tag":78,"props":1037,"children":1039},{"id":1038,"d":783},"MJX-5-TEX-I-1D6E4",[],{"type":23,"tag":78,"props":1041,"children":1044},{"id":1042,"d":1043},"MJX-5-TEX-N-3A","M78 370Q78 394 95 412T138 430Q162 430 180 414T199 371Q199 346 182 328T139 310T96 327T78 370ZM78 60Q78 84 95 102T138 120Q162 120 180 104T199 61Q199 36 182 18T139 0T96 17T78 60Z",[],{"type":23,"tag":78,"props":1046,"children":1048},{"id":1047,"d":131},"MJX-5-TEX-B-1D400",[],{"type":23,"tag":78,"props":1050,"children":1053},{"id":1051,"d":1052},"MJX-5-TEX-N-2192","M56 237T56 250T70 270H835Q719 357 692 493Q692 494 692 496T691 499Q691 511 708 511H711Q720 511 723 510T729 506T732 497T735 481T743 456Q765 389 816 336T935 261Q944 258 944 250Q944 244 939 241T915 231T877 212Q836 186 806 152T761 85T740 35T732 4Q730 -6 727 -8T711 -11Q691 -11 691 0Q691 7 696 25Q728 151 835 230H70Q56 237 56 250Z",[],{"type":23,"tag":78,"props":1055,"children":1058},{"id":1056,"d":1057},"MJX-5-TEX-I-1D436","M50 252Q50 367 117 473T286 641T490 704Q580 704 633 653Q642 643 648 636T656 626L657 623Q660 623 684 649Q691 655 699 663T715 679T725 690L740 705H746Q760 705 760 698Q760 694 728 561Q692 422 692 421Q690 416 687 415T669 413H653Q647 419 647 422Q647 423 648 429T650 449T651 481Q651 552 619 605T510 659Q484 659 454 652T382 628T299 572T226 479Q194 422 175 346T156 222Q156 108 232 58Q280 24 350 24Q441 24 512 92T606 240Q610 253 612 255T628 257Q648 257 648 248Q648 243 647 239Q618 132 523 55T319 -22Q206 -22 128 53T50 252Z",[],{"type":23,"tag":158,"props":1060,"children":1061},{"stroke":160,"fill":160,"stroke-width":161,"transform":162},[1062],{"type":23,"tag":158,"props":1063,"children":1064},{"dataMmlNode":166},[1065,1072,1081,1092,1101],{"type":23,"tag":158,"props":1066,"children":1067},{"dataMmlNode":174},[1068],{"type":23,"tag":177,"props":1069,"children":1071},{"dataC":862,"xLinkHref":1070},"#MJX-5-TEX-I-1D6E4",[],{"type":23,"tag":158,"props":1073,"children":1075},{"dataMmlNode":193,"transform":1074},"translate(998.8,0)",[1076],{"type":23,"tag":177,"props":1077,"children":1080},{"dataC":1078,"xLinkHref":1079},"3A","#MJX-5-TEX-N-3A",[],{"type":23,"tag":158,"props":1082,"children":1084},{"dataMmlNode":252,"dataMjxTexclass":254,"transform":1083},"translate(1554.6,0)",[1085],{"type":23,"tag":158,"props":1086,"children":1087},{"dataMmlNode":174},[1088],{"type":23,"tag":177,"props":1089,"children":1091},{"dataC":282,"xLinkHref":1090},"#MJX-5-TEX-B-1D400",[],{"type":23,"tag":158,"props":1093,"children":1095},{"dataMmlNode":193,"transform":1094},"translate(2701.3,0)",[1096],{"type":23,"tag":177,"props":1097,"children":1100},{"dataC":1098,"xLinkHref":1099},"2192","#MJX-5-TEX-N-2192",[],{"type":23,"tag":158,"props":1102,"children":1104},{"dataMmlNode":174,"transform":1103},"translate(3979.1,0)",[1105],{"type":23,"tag":177,"props":1106,"children":1109},{"dataC":1107,"xLinkHref":1108},"1D436","#MJX-5-TEX-I-1D436",[],{"type":29,"value":1111}," be an encoding function for a D-ary code following a distribution (random variable) ",{"type":23,"tag":55,"props":1113,"children":1115},{"className":1114,"jax":59},[58],[1116],{"type":23,"tag":62,"props":1117,"children":1121},{"style":687,"xmlns":65,"width":1118,"height":1119,"role":68,"focusable":69,"viewBox":1120,"xmlnsXLink":71},"6.191ex","1.686ex","0 -705 2736.6 745",[1122,1137],{"type":23,"tag":74,"props":1123,"children":1124},{},[1125,1129,1133],{"type":23,"tag":78,"props":1126,"children":1128},{"id":1127,"d":96},"MJX-6-TEX-I-1D446",[],{"type":23,"tag":78,"props":1130,"children":1132},{"id":1131,"d":126},"MJX-6-TEX-N-2208",[],{"type":23,"tag":78,"props":1134,"children":1136},{"id":1135,"d":131},"MJX-6-TEX-B-1D400",[],{"type":23,"tag":158,"props":1138,"children":1139},{"stroke":160,"fill":160,"stroke-width":161,"transform":162},[1140],{"type":23,"tag":158,"props":1141,"children":1142},{"dataMmlNode":166},[1143,1150,1158],{"type":23,"tag":158,"props":1144,"children":1145},{"dataMmlNode":174},[1146],{"type":23,"tag":177,"props":1147,"children":1149},{"dataC":207,"xLinkHref":1148},"#MJX-6-TEX-I-1D446",[],{"type":23,"tag":158,"props":1151,"children":1153},{"dataMmlNode":193,"transform":1152},"translate(922.8,0)",[1154],{"type":23,"tag":177,"props":1155,"children":1157},{"dataC":270,"xLinkHref":1156},"#MJX-6-TEX-N-2208",[],{"type":23,"tag":158,"props":1159,"children":1161},{"dataMmlNode":252,"dataMjxTexclass":254,"transform":1160},"translate(1867.6,0)",[1162],{"type":23,"tag":158,"props":1163,"children":1164},{"dataMmlNode":174},[1165],{"type":23,"tag":177,"props":1166,"children":1168},{"dataC":282,"xLinkHref":1167},"#MJX-6-TEX-B-1D400",[],{"type":29,"value":1170},". If the code is uniquely decodable, then we have:",{"type":23,"tag":32,"props":1172,"children":1173},{},[1174],{"type":23,"tag":55,"props":1175,"children":1177},{"className":1176,"jax":59},[58],[1178],{"type":23,"tag":62,"props":1179,"children":1182},{"style":440,"xmlns":65,"width":1180,"height":442,"role":68,"focusable":69,"viewBox":1181,"xmlnsXLink":71},"17.026ex","0 -750 7525.7 1000",[1183,1223],{"type":23,"tag":74,"props":1184,"children":1185},{},[1186,1190,1195,1199,1203,1207,1211,1215,1219],{"type":23,"tag":78,"props":1187,"children":1189},{"id":1188,"d":81},"MJX-7-TEX-I-1D43B",[],{"type":23,"tag":78,"props":1191,"children":1194},{"id":1192,"d":1193},"MJX-7-TEX-I-1D437","M287 628Q287 635 230 637Q207 637 200 638T193 647Q193 655 197 667T204 682Q206 683 403 683Q570 682 590 682T630 676Q702 659 752 597T803 431Q803 275 696 151T444 3L430 1L236 0H125H72Q48 0 41 2T33 11Q33 13 36 25Q40 41 44 43T67 46Q94 46 127 49Q141 52 146 61Q149 65 218 339T287 628ZM703 469Q703 507 692 537T666 584T629 613T590 629T555 636Q553 636 541 636T512 636T479 637H436Q392 637 386 627Q384 623 313 339T242 52Q242 48 253 48T330 47Q335 47 349 47T373 46Q499 46 581 128Q617 164 640 212T683 339T703 469Z",[],{"type":23,"tag":78,"props":1196,"children":1198},{"id":1197,"d":91},"MJX-7-TEX-N-28",[],{"type":23,"tag":78,"props":1200,"children":1202},{"id":1201,"d":96},"MJX-7-TEX-I-1D446",[],{"type":23,"tag":78,"props":1204,"children":1206},{"id":1205,"d":101},"MJX-7-TEX-N-29",[],{"type":23,"tag":78,"props":1208,"children":1210},{"id":1209,"d":483},"MJX-7-TEX-N-2264",[],{"type":23,"tag":78,"props":1212,"children":1214},{"id":1213,"d":765},"MJX-7-TEX-I-1D43F",[],{"type":23,"tag":78,"props":1216,"children":1218},{"id":1217,"d":778},"MJX-7-TEX-N-2C",[],{"type":23,"tag":78,"props":1220,"children":1222},{"id":1221,"d":783},"MJX-7-TEX-I-1D6E4",[],{"type":23,"tag":158,"props":1224,"children":1225},{"stroke":160,"fill":160,"stroke-width":161,"transform":162},[1226],{"type":23,"tag":158,"props":1227,"children":1228},{"dataMmlNode":166},[1229,1247,1255,1263,1271,1279,1287,1294,1301,1309,1317],{"type":23,"tag":158,"props":1230,"children":1231},{"dataMmlNode":170},[1232,1239],{"type":23,"tag":158,"props":1233,"children":1234},{"dataMmlNode":174},[1235],{"type":23,"tag":177,"props":1236,"children":1238},{"dataC":179,"xLinkHref":1237},"#MJX-7-TEX-I-1D43B",[],{"type":23,"tag":158,"props":1240,"children":1241},{"dataMmlNode":174,"transform":184},[1242],{"type":23,"tag":177,"props":1243,"children":1246},{"dataC":1244,"xLinkHref":1245},"1D437","#MJX-7-TEX-I-1D437",[],{"type":23,"tag":158,"props":1248,"children":1250},{"dataMmlNode":193,"transform":1249},"translate(1499.5,0)",[1251],{"type":23,"tag":177,"props":1252,"children":1254},{"dataC":198,"xLinkHref":1253},"#MJX-7-TEX-N-28",[],{"type":23,"tag":158,"props":1256,"children":1258},{"dataMmlNode":174,"transform":1257},"translate(1888.5,0)",[1259],{"type":23,"tag":177,"props":1260,"children":1262},{"dataC":207,"xLinkHref":1261},"#MJX-7-TEX-I-1D446",[],{"type":23,"tag":158,"props":1264,"children":1266},{"dataMmlNode":193,"transform":1265},"translate(2533.5,0)",[1267],{"type":23,"tag":177,"props":1268,"children":1270},{"dataC":216,"xLinkHref":1269},"#MJX-7-TEX-N-29",[],{"type":23,"tag":158,"props":1272,"children":1274},{"dataMmlNode":193,"transform":1273},"translate(3200.3,0)",[1275],{"type":23,"tag":177,"props":1276,"children":1278},{"dataC":574,"xLinkHref":1277},"#MJX-7-TEX-N-2264",[],{"type":23,"tag":158,"props":1280,"children":1282},{"dataMmlNode":174,"transform":1281},"translate(4256,0)",[1283],{"type":23,"tag":177,"props":1284,"children":1286},{"dataC":828,"xLinkHref":1285},"#MJX-7-TEX-I-1D43F",[],{"type":23,"tag":158,"props":1288,"children":1290},{"dataMmlNode":193,"transform":1289},"translate(4937,0)",[1291],{"type":23,"tag":177,"props":1292,"children":1293},{"dataC":198,"xLinkHref":1253},[],{"type":23,"tag":158,"props":1295,"children":1297},{"dataMmlNode":174,"transform":1296},"translate(5326,0)",[1298],{"type":23,"tag":177,"props":1299,"children":1300},{"dataC":207,"xLinkHref":1261},[],{"type":23,"tag":158,"props":1302,"children":1304},{"dataMmlNode":193,"transform":1303},"translate(5971,0)",[1305],{"type":23,"tag":177,"props":1306,"children":1308},{"dataC":853,"xLinkHref":1307},"#MJX-7-TEX-N-2C",[],{"type":23,"tag":158,"props":1310,"children":1312},{"dataMmlNode":174,"transform":1311},"translate(6415.7,0)",[1313],{"type":23,"tag":177,"props":1314,"children":1316},{"dataC":862,"xLinkHref":1315},"#MJX-7-TEX-I-1D6E4",[],{"type":23,"tag":158,"props":1318,"children":1320},{"dataMmlNode":193,"transform":1319},"translate(7136.7,0)",[1321],{"type":23,"tag":177,"props":1322,"children":1323},{"dataC":216,"xLinkHref":1269},[],{"type":23,"tag":32,"props":1325,"children":1326},{},[1327,1333,1336],{"type":23,"tag":1328,"props":1329,"children":1330},"u",{},[1331],{"type":29,"value":1332},"Shannon-Fano code",{"type":23,"tag":1013,"props":1334,"children":1335},{},[],{"type":23,"tag":676,"props":1337,"children":1339},{"className":1338},[679],[1340,1342,1394,1396,1455,1457,1528],{"type":29,"value":1341},"For any random variable ",{"type":23,"tag":55,"props":1343,"children":1345},{"className":1344,"jax":59},[58],[1346],{"type":23,"tag":62,"props":1347,"children":1348},{"style":687,"xmlns":65,"width":1118,"height":1119,"role":68,"focusable":69,"viewBox":1120,"xmlnsXLink":71},[1349,1364],{"type":23,"tag":74,"props":1350,"children":1351},{},[1352,1356,1360],{"type":23,"tag":78,"props":1353,"children":1355},{"id":1354,"d":96},"MJX-8-TEX-I-1D446",[],{"type":23,"tag":78,"props":1357,"children":1359},{"id":1358,"d":126},"MJX-8-TEX-N-2208",[],{"type":23,"tag":78,"props":1361,"children":1363},{"id":1362,"d":131},"MJX-8-TEX-B-1D400",[],{"type":23,"tag":158,"props":1365,"children":1366},{"stroke":160,"fill":160,"stroke-width":161,"transform":162},[1367],{"type":23,"tag":158,"props":1368,"children":1369},{"dataMmlNode":166},[1370,1377,1384],{"type":23,"tag":158,"props":1371,"children":1372},{"dataMmlNode":174},[1373],{"type":23,"tag":177,"props":1374,"children":1376},{"dataC":207,"xLinkHref":1375},"#MJX-8-TEX-I-1D446",[],{"type":23,"tag":158,"props":1378,"children":1379},{"dataMmlNode":193,"transform":1152},[1380],{"type":23,"tag":177,"props":1381,"children":1383},{"dataC":270,"xLinkHref":1382},"#MJX-8-TEX-N-2208",[],{"type":23,"tag":158,"props":1385,"children":1386},{"dataMmlNode":252,"dataMjxTexclass":254,"transform":1160},[1387],{"type":23,"tag":158,"props":1388,"children":1389},{"dataMmlNode":174},[1390],{"type":23,"tag":177,"props":1391,"children":1393},{"dataC":282,"xLinkHref":1392},"#MJX-8-TEX-B-1D400",[],{"type":29,"value":1395}," and any integer ",{"type":23,"tag":55,"props":1397,"children":1399},{"className":1398,"jax":59},[58],[1400],{"type":23,"tag":62,"props":1401,"children":1406},{"style":1402,"xmlns":65,"width":1403,"height":1404,"role":68,"focusable":69,"viewBox":1405,"xmlnsXLink":71},"vertical-align: -0.312ex;","6.022ex","1.857ex","0 -683 2661.6 821",[1407,1424],{"type":23,"tag":74,"props":1408,"children":1409},{},[1410,1414,1419],{"type":23,"tag":78,"props":1411,"children":1413},{"id":1412,"d":1193},"MJX-9-TEX-I-1D437",[],{"type":23,"tag":78,"props":1415,"children":1418},{"id":1416,"d":1417},"MJX-9-TEX-N-2265","M83 616Q83 624 89 630T99 636Q107 636 253 568T543 431T687 361Q694 356 694 346T687 331Q685 329 395 192L107 56H101Q83 58 83 76Q83 77 83 79Q82 86 98 95Q117 105 248 167Q326 204 378 228L626 346L360 472Q291 505 200 548Q112 589 98 597T83 616ZM84 -118Q84 -108 99 -98H678Q694 -104 694 -118Q694 -130 679 -138H98Q84 -131 84 -118Z",[],{"type":23,"tag":78,"props":1420,"children":1423},{"id":1421,"d":1422},"MJX-9-TEX-N-32","M109 429Q82 429 66 447T50 491Q50 562 103 614T235 666Q326 666 387 610T449 465Q449 422 429 383T381 315T301 241Q265 210 201 149L142 93L218 92Q375 92 385 97Q392 99 409 186V189H449V186Q448 183 436 95T421 3V0H50V19V31Q50 38 56 46T86 81Q115 113 136 137Q145 147 170 174T204 211T233 244T261 278T284 308T305 340T320 369T333 401T340 431T343 464Q343 527 309 573T212 619Q179 619 154 602T119 569T109 550Q109 549 114 549Q132 549 151 535T170 489Q170 464 154 447T109 429Z",[],{"type":23,"tag":158,"props":1425,"children":1426},{"stroke":160,"fill":160,"stroke-width":161,"transform":162},[1427],{"type":23,"tag":158,"props":1428,"children":1429},{"dataMmlNode":166},[1430,1437,1446],{"type":23,"tag":158,"props":1431,"children":1432},{"dataMmlNode":174},[1433],{"type":23,"tag":177,"props":1434,"children":1436},{"dataC":1244,"xLinkHref":1435},"#MJX-9-TEX-I-1D437",[],{"type":23,"tag":158,"props":1438,"children":1440},{"dataMmlNode":193,"transform":1439},"translate(1105.8,0)",[1441],{"type":23,"tag":177,"props":1442,"children":1445},{"dataC":1443,"xLinkHref":1444},"2265","#MJX-9-TEX-N-2265",[],{"type":23,"tag":158,"props":1447,"children":1449},{"dataMmlNode":602,"transform":1448},"translate(2161.6,0)",[1450],{"type":23,"tag":177,"props":1451,"children":1454},{"dataC":1452,"xLinkHref":1453},"32","#MJX-9-TEX-N-32",[],{"type":29,"value":1456},", there exists a prefix-free D-ary codefor S, such that ",{"type":23,"tag":55,"props":1458,"children":1460},{"className":1459,"jax":59},[58],[1461],{"type":23,"tag":62,"props":1462,"children":1466},{"style":687,"xmlns":65,"width":1463,"height":1464,"role":68,"focusable":69,"viewBox":1465,"xmlnsXLink":71},"7.051ex","1.67ex","0 -698 3116.6 738",[1467,1487],{"type":23,"tag":74,"props":1468,"children":1469},{},[1470,1475,1479,1483],{"type":23,"tag":78,"props":1471,"children":1474},{"id":1472,"d":1473},"MJX-10-TEX-N-2200","M0 673Q0 684 7 689T20 694Q32 694 38 680T82 567L126 451H430L473 566Q483 593 494 622T512 668T519 685Q524 694 538 694Q556 692 556 674Q556 670 426 329T293 -15Q288 -22 278 -22T263 -15Q260 -11 131 328T0 673ZM414 410Q414 411 278 411T142 410L278 55L414 410Z",[],{"type":23,"tag":78,"props":1476,"children":1478},{"id":1477,"d":121},"MJX-10-TEX-I-1D460",[],{"type":23,"tag":78,"props":1480,"children":1482},{"id":1481,"d":126},"MJX-10-TEX-N-2208",[],{"type":23,"tag":78,"props":1484,"children":1486},{"id":1485,"d":131},"MJX-10-TEX-B-1D400",[],{"type":23,"tag":158,"props":1488,"children":1489},{"stroke":160,"fill":160,"stroke-width":161,"transform":162},[1490],{"type":23,"tag":158,"props":1491,"children":1492},{"dataMmlNode":166},[1493,1501,1509,1517],{"type":23,"tag":158,"props":1494,"children":1495},{"dataMmlNode":174},[1496],{"type":23,"tag":177,"props":1497,"children":1500},{"dataC":1498,"xLinkHref":1499},"2200","#MJX-10-TEX-N-2200",[],{"type":23,"tag":158,"props":1502,"children":1504},{"dataMmlNode":174,"transform":1503},"translate(556,0)",[1505],{"type":23,"tag":177,"props":1506,"children":1508},{"dataC":261,"xLinkHref":1507},"#MJX-10-TEX-I-1D460",[],{"type":23,"tag":158,"props":1510,"children":1512},{"dataMmlNode":193,"transform":1511},"translate(1302.8,0)",[1513],{"type":23,"tag":177,"props":1514,"children":1516},{"dataC":270,"xLinkHref":1515},"#MJX-10-TEX-N-2208",[],{"type":23,"tag":158,"props":1518,"children":1520},{"dataMmlNode":252,"dataMjxTexclass":254,"transform":1519},"translate(2247.6,0)",[1521],{"type":23,"tag":158,"props":1522,"children":1523},{"dataMmlNode":174},[1524],{"type":23,"tag":177,"props":1525,"children":1527},{"dataC":282,"xLinkHref":1526},"#MJX-10-TEX-B-1D400",[],{"type":29,"value":1529},",",{"type":23,"tag":32,"props":1531,"children":1532},{},[1533],{"type":23,"tag":55,"props":1534,"children":1536},{"className":1535,"jax":59},[58],[1537],{"type":23,"tag":62,"props":1538,"children":1541},{"style":440,"xmlns":65,"width":1539,"height":442,"role":68,"focusable":69,"viewBox":1540,"xmlnsXLink":71},"24.01ex","0 -750 10612.5 1000",[1542,1611],{"type":23,"tag":74,"props":1543,"children":1544},{},[1545,1549,1553,1557,1561,1565,1569,1574,1578,1582,1586,1590,1594,1598,1602,1606],{"type":23,"tag":78,"props":1546,"children":1548},{"id":1547,"d":451},"MJX-11-TEX-I-1D459",[],{"type":23,"tag":78,"props":1550,"children":1552},{"id":1551,"d":91},"MJX-11-TEX-N-28",[],{"type":23,"tag":78,"props":1554,"children":1556},{"id":1555,"d":783},"MJX-11-TEX-I-1D6E4",[],{"type":23,"tag":78,"props":1558,"children":1560},{"id":1559,"d":121},"MJX-11-TEX-I-1D460",[],{"type":23,"tag":78,"props":1562,"children":1564},{"id":1563,"d":101},"MJX-11-TEX-N-29",[],{"type":23,"tag":78,"props":1566,"children":1568},{"id":1567,"d":106},"MJX-11-TEX-N-3D",[],{"type":23,"tag":78,"props":1570,"children":1573},{"id":1571,"d":1572},"MJX-11-TEX-N-2308","M174 734Q178 746 190 750H298H369Q400 750 411 747T422 730T411 713T372 709Q365 709 345 709T310 710H214V-235Q206 -248 196 -250Q192 -250 189 -249T184 -247T180 -244T178 -241T176 -237T174 -234V734Z",[],{"type":23,"tag":78,"props":1575,"children":1577},{"id":1576,"d":111},"MJX-11-TEX-N-2212",[],{"type":23,"tag":78,"props":1579,"children":1581},{"id":1580,"d":141},"MJX-11-TEX-N-6C",[],{"type":23,"tag":78,"props":1583,"children":1585},{"id":1584,"d":146},"MJX-11-TEX-N-6F",[],{"type":23,"tag":78,"props":1587,"children":1589},{"id":1588,"d":151},"MJX-11-TEX-N-67",[],{"type":23,"tag":78,"props":1591,"children":1593},{"id":1592,"d":1193},"MJX-11-TEX-I-1D437",[],{"type":23,"tag":78,"props":1595,"children":1597},{"id":1596,"d":7},"MJX-11-TEX-N-2061",[],{"type":23,"tag":78,"props":1599,"children":1601},{"id":1600,"d":136},"MJX-11-TEX-I-1D45D",[],{"type":23,"tag":78,"props":1603,"children":1605},{"id":1604,"d":96},"MJX-11-TEX-I-1D446",[],{"type":23,"tag":78,"props":1607,"children":1610},{"id":1608,"d":1609},"MJX-11-TEX-N-2309","M21 717T21 730T32 746T75 750H147H256Q266 742 269 735V-235Q262 -248 251 -250Q247 -250 244 -249T239 -247T235 -244T233 -241T231 -237T229 -234V710H133Q119 710 99 710T71 709Q43 709 32 713Z",[],{"type":23,"tag":158,"props":1612,"children":1613},{"stroke":160,"fill":160,"stroke-width":161,"transform":162},[1614],{"type":23,"tag":158,"props":1615,"children":1616},{"dataMmlNode":166},[1617,1624,1631,1639,1646,1654,1662,1669,1677,1686,1694,1720,1728,1746,1753,1760,1767],{"type":23,"tag":158,"props":1618,"children":1619},{"dataMmlNode":174},[1620],{"type":23,"tag":177,"props":1621,"children":1623},{"dataC":511,"xLinkHref":1622},"#MJX-11-TEX-I-1D459",[],{"type":23,"tag":158,"props":1625,"children":1626},{"dataMmlNode":193,"transform":516},[1627],{"type":23,"tag":177,"props":1628,"children":1630},{"dataC":198,"xLinkHref":1629},"#MJX-11-TEX-N-28",[],{"type":23,"tag":158,"props":1632,"children":1634},{"dataMmlNode":174,"transform":1633},"translate(687,0)",[1635],{"type":23,"tag":177,"props":1636,"children":1638},{"dataC":862,"xLinkHref":1637},"#MJX-11-TEX-I-1D6E4",[],{"type":23,"tag":158,"props":1640,"children":1642},{"dataMmlNode":193,"transform":1641},"translate(1408,0)",[1643],{"type":23,"tag":177,"props":1644,"children":1645},{"dataC":198,"xLinkHref":1629},[],{"type":23,"tag":158,"props":1647,"children":1649},{"dataMmlNode":174,"transform":1648},"translate(1797,0)",[1650],{"type":23,"tag":177,"props":1651,"children":1653},{"dataC":261,"xLinkHref":1652},"#MJX-11-TEX-I-1D460",[],{"type":23,"tag":158,"props":1655,"children":1657},{"dataMmlNode":193,"transform":1656},"translate(2266,0)",[1658],{"type":23,"tag":177,"props":1659,"children":1661},{"dataC":216,"xLinkHref":1660},"#MJX-11-TEX-N-29",[],{"type":23,"tag":158,"props":1663,"children":1665},{"dataMmlNode":193,"transform":1664},"translate(2655,0)",[1666],{"type":23,"tag":177,"props":1667,"children":1668},{"dataC":216,"xLinkHref":1660},[],{"type":23,"tag":158,"props":1670,"children":1672},{"dataMmlNode":193,"transform":1671},"translate(3321.8,0)",[1673],{"type":23,"tag":177,"props":1674,"children":1676},{"dataC":225,"xLinkHref":1675},"#MJX-11-TEX-N-3D",[],{"type":23,"tag":158,"props":1678,"children":1680},{"dataMmlNode":193,"transform":1679},"translate(4377.6,0)",[1681],{"type":23,"tag":177,"props":1682,"children":1685},{"dataC":1683,"xLinkHref":1684},"2308","#MJX-11-TEX-N-2308",[],{"type":23,"tag":158,"props":1687,"children":1689},{"dataMmlNode":193,"transform":1688},"translate(4821.6,0)",[1690],{"type":23,"tag":177,"props":1691,"children":1693},{"dataC":234,"xLinkHref":1692},"#MJX-11-TEX-N-2212",[],{"type":23,"tag":158,"props":1695,"children":1697},{"dataMmlNode":170,"transform":1696},"translate(5766.2,0)",[1698,1713],{"type":23,"tag":158,"props":1699,"children":1700},{"dataMmlNode":174},[1701,1705,1709],{"type":23,"tag":177,"props":1702,"children":1704},{"dataC":337,"xLinkHref":1703},"#MJX-11-TEX-N-6C",[],{"type":23,"tag":177,"props":1706,"children":1708},{"dataC":342,"xLinkHref":1707,"transform":344},"#MJX-11-TEX-N-6F",[],{"type":23,"tag":177,"props":1710,"children":1712},{"dataC":348,"xLinkHref":1711,"transform":350},"#MJX-11-TEX-N-67",[],{"type":23,"tag":158,"props":1714,"children":1715},{"dataMmlNode":174,"transform":354},[1716],{"type":23,"tag":177,"props":1717,"children":1719},{"dataC":1244,"xLinkHref":1718},"#MJX-11-TEX-I-1D437",[],{"type":23,"tag":158,"props":1721,"children":1723},{"dataMmlNode":193,"transform":1722},"translate(7712.7,0)",[1724],{"type":23,"tag":177,"props":1725,"children":1727},{"dataC":365,"xLinkHref":1726},"#MJX-11-TEX-N-2061",[],{"type":23,"tag":158,"props":1729,"children":1731},{"dataMmlNode":170,"transform":1730},"translate(7879.4,0)",[1732,1739],{"type":23,"tag":158,"props":1733,"children":1734},{"dataMmlNode":174},[1735],{"type":23,"tag":177,"props":1736,"children":1738},{"dataC":297,"xLinkHref":1737},"#MJX-11-TEX-I-1D45D",[],{"type":23,"tag":158,"props":1740,"children":1741},{"dataMmlNode":174,"transform":302},[1742],{"type":23,"tag":177,"props":1743,"children":1745},{"dataC":207,"xLinkHref":1744},"#MJX-11-TEX-I-1D446",[],{"type":23,"tag":158,"props":1747,"children":1749},{"dataMmlNode":193,"transform":1748},"translate(8921.5,0)",[1750],{"type":23,"tag":177,"props":1751,"children":1752},{"dataC":198,"xLinkHref":1629},[],{"type":23,"tag":158,"props":1754,"children":1756},{"dataMmlNode":174,"transform":1755},"translate(9310.5,0)",[1757],{"type":23,"tag":177,"props":1758,"children":1759},{"dataC":261,"xLinkHref":1652},[],{"type":23,"tag":158,"props":1761,"children":1763},{"dataMmlNode":193,"transform":1762},"translate(9779.5,0)",[1764],{"type":23,"tag":177,"props":1765,"children":1766},{"dataC":216,"xLinkHref":1660},[],{"type":23,"tag":158,"props":1768,"children":1770},{"dataMmlNode":193,"transform":1769},"translate(10168.5,0)",[1771],{"type":23,"tag":177,"props":1772,"children":1775},{"dataC":1773,"xLinkHref":1774},"2309","#MJX-11-TEX-N-2309",[],{"type":23,"tag":32,"props":1777,"children":1778},{},[1779,1784],{"type":23,"tag":1328,"props":1780,"children":1781},{},[1782],{"type":29,"value":1783},"Entrypy of a symbol:",{"type":23,"tag":55,"props":1785,"children":1787},{"className":1786,"jax":59},[58],[1788],{"type":23,"tag":62,"props":1789,"children":1792},{"style":440,"xmlns":65,"width":1790,"height":442,"role":68,"focusable":69,"viewBox":1791,"xmlnsXLink":71},"21.594ex","0 -750 9544.3 1000",[1793,1849],{"type":23,"tag":74,"props":1794,"children":1795},{},[1796,1800,1804,1809,1813,1817,1821,1826,1831,1836,1840,1845],{"type":23,"tag":78,"props":1797,"children":1799},{"id":1798,"d":81},"MJX-12-TEX-I-1D43B",[],{"type":23,"tag":78,"props":1801,"children":1803},{"id":1802,"d":91},"MJX-12-TEX-N-28",[],{"type":23,"tag":78,"props":1805,"children":1808},{"id":1806,"d":1807},"MJX-12-TEX-C-53","M554 512Q536 512 536 522Q536 525 539 539T542 564Q542 588 528 604Q515 616 482 625T410 635Q374 635 349 624T312 594T295 561T290 532Q290 505 303 482T342 442T378 419T409 404Q435 391 451 383T494 357T535 323T562 282T574 231Q574 133 464 56T220 -22Q138 -22 78 21T18 123Q18 184 61 227T156 274Q178 274 178 263Q178 260 177 258Q172 247 164 239T151 227T136 218L127 213L124 202Q118 186 118 163Q120 124 165 86T292 48Q374 48 423 86T473 186V193Q473 267 347 327Q268 364 239 389Q191 431 191 486Q191 547 242 600T356 679T470 705Q472 705 478 705T489 704Q551 704 596 682T642 610Q642 566 621 545Q592 516 554 512Z",[],{"type":23,"tag":78,"props":1810,"children":1812},{"id":1811,"d":101},"MJX-12-TEX-N-29",[],{"type":23,"tag":78,"props":1814,"children":1816},{"id":1815,"d":106},"MJX-12-TEX-N-3D",[],{"type":23,"tag":78,"props":1818,"children":1820},{"id":1819,"d":141},"MJX-12-TEX-N-6C",[],{"type":23,"tag":78,"props":1822,"children":1825},{"id":1823,"d":1824},"MJX-12-TEX-N-69","M69 609Q69 637 87 653T131 669Q154 667 171 652T188 609Q188 579 171 564T129 549Q104 549 87 564T69 609ZM247 0Q232 3 143 3Q132 3 106 3T56 1L34 0H26V46H42Q70 46 91 49Q100 53 102 60T104 102V205V293Q104 345 102 359T88 378Q74 385 41 385H30V408Q30 431 32 431L42 432Q52 433 70 434T106 436Q123 437 142 438T171 441T182 442H185V62Q190 52 197 50T232 46H255V0H247Z",[],{"type":23,"tag":78,"props":1827,"children":1830},{"id":1828,"d":1829},"MJX-12-TEX-N-6D","M41 46H55Q94 46 102 60V68Q102 77 102 91T102 122T103 161T103 203Q103 234 103 269T102 328V351Q99 370 88 376T43 385H25V408Q25 431 27 431L37 432Q47 433 65 434T102 436Q119 437 138 438T167 441T178 442H181V402Q181 364 182 364T187 369T199 384T218 402T247 421T285 437Q305 442 336 442Q351 442 364 440T387 434T406 426T421 417T432 406T441 395T448 384T452 374T455 366L457 361L460 365Q463 369 466 373T475 384T488 397T503 410T523 422T546 432T572 439T603 442Q729 442 740 329Q741 322 741 190V104Q741 66 743 59T754 49Q775 46 803 46H819V0H811L788 1Q764 2 737 2T699 3Q596 3 587 0H579V46H595Q656 46 656 62Q657 64 657 200Q656 335 655 343Q649 371 635 385T611 402T585 404Q540 404 506 370Q479 343 472 315T464 232V168V108Q464 78 465 68T468 55T477 49Q498 46 526 46H542V0H534L510 1Q487 2 460 2T422 3Q319 3 310 0H302V46H318Q379 46 379 62Q380 64 380 200Q379 335 378 343Q372 371 358 385T334 402T308 404Q263 404 229 370Q202 343 195 315T187 232V168V108Q187 78 188 68T191 55T200 49Q221 46 249 46H265V0H257L234 1Q210 2 183 2T145 3Q42 3 33 0H25V46H41Z",[],{"type":23,"tag":78,"props":1832,"children":1835},{"id":1833,"d":1834},"MJX-12-TEX-I-1D456","M184 600Q184 624 203 642T247 661Q265 661 277 649T290 619Q290 596 270 577T226 557Q211 557 198 567T184 600ZM21 287Q21 295 30 318T54 369T98 420T158 442Q197 442 223 419T250 357Q250 340 236 301T196 196T154 83Q149 61 149 51Q149 26 166 26Q175 26 185 29T208 43T235 78T260 137Q263 149 265 151T282 153Q302 153 302 143Q302 135 293 112T268 61T223 11T161 -11Q129 -11 102 10T74 74Q74 91 79 106T122 220Q160 321 166 341T173 380Q173 404 156 404H154Q124 404 99 371T61 287Q60 286 59 284T58 281T56 279T53 278T49 278T41 278H27Q21 284 21 287Z",[],{"type":23,"tag":78,"props":1837,"children":1839},{"id":1838,"d":1052},"MJX-12-TEX-N-2192",[],{"type":23,"tag":78,"props":1841,"children":1844},{"id":1842,"d":1843},"MJX-12-TEX-N-221E","M55 217Q55 305 111 373T254 442Q342 442 419 381Q457 350 493 303L507 284L514 294Q618 442 747 442Q833 442 888 374T944 214Q944 128 889 59T743 -11Q657 -11 580 50Q542 81 506 128L492 147L485 137Q381 -11 252 -11Q166 -11 111 57T55 217ZM907 217Q907 285 869 341T761 397Q740 397 720 392T682 378T648 359T619 335T594 310T574 285T559 263T548 246L543 238L574 198Q605 158 622 138T664 94T714 61T765 51Q827 51 867 100T907 217ZM92 214Q92 145 131 89T239 33Q357 33 456 193L425 233Q364 312 334 337Q285 380 233 380Q171 380 132 331T92 214Z",[],{"type":23,"tag":78,"props":1846,"children":1848},{"id":1847,"d":96},"MJX-12-TEX-I-1D446",[],{"type":23,"tag":158,"props":1850,"children":1851},{"stroke":160,"fill":160,"stroke-width":161,"transform":162},[1852],{"type":23,"tag":158,"props":1853,"children":1854},{"dataMmlNode":166},[1855,1862,1870,1882,1890,1898,1948,1955,1962,1980],{"type":23,"tag":158,"props":1856,"children":1857},{"dataMmlNode":174},[1858],{"type":23,"tag":177,"props":1859,"children":1861},{"dataC":179,"xLinkHref":1860},"#MJX-12-TEX-I-1D43B",[],{"type":23,"tag":158,"props":1863,"children":1865},{"dataMmlNode":193,"transform":1864},"translate(888,0)",[1866],{"type":23,"tag":177,"props":1867,"children":1869},{"dataC":198,"xLinkHref":1868},"#MJX-12-TEX-N-28",[],{"type":23,"tag":158,"props":1871,"children":1873},{"dataMmlNode":252,"dataMjxTexclass":254,"transform":1872},"translate(1277,0)",[1874],{"type":23,"tag":158,"props":1875,"children":1876},{"dataMmlNode":174},[1877],{"type":23,"tag":177,"props":1878,"children":1881},{"dataC":1879,"xLinkHref":1880},"53","#MJX-12-TEX-C-53",[],{"type":23,"tag":158,"props":1883,"children":1885},{"dataMmlNode":193,"transform":1884},"translate(1919,0)",[1886],{"type":23,"tag":177,"props":1887,"children":1889},{"dataC":216,"xLinkHref":1888},"#MJX-12-TEX-N-29",[],{"type":23,"tag":158,"props":1891,"children":1893},{"dataMmlNode":193,"transform":1892},"translate(2585.8,0)",[1894],{"type":23,"tag":177,"props":1895,"children":1897},{"dataC":225,"xLinkHref":1896},"#MJX-12-TEX-N-3D",[],{"type":23,"tag":158,"props":1899,"children":1901},{"dataMmlNode":239,"transform":1900},"translate(3641.6,0)",[1902,1919],{"type":23,"tag":158,"props":1903,"children":1904},{"dataMmlNode":193},[1905,1909,1914],{"type":23,"tag":177,"props":1906,"children":1908},{"dataC":337,"xLinkHref":1907},"#MJX-12-TEX-N-6C",[],{"type":23,"tag":177,"props":1910,"children":1913},{"dataC":1911,"xLinkHref":1912,"transform":344},"69","#MJX-12-TEX-N-69",[],{"type":23,"tag":177,"props":1915,"children":1918},{"dataC":1916,"xLinkHref":1917,"transform":1503},"6D","#MJX-12-TEX-N-6D",[],{"type":23,"tag":158,"props":1920,"children":1922},{"dataMmlNode":252,"transform":1921,"dataMjxTexclass":254},"translate(1422,-150) scale(0.707)",[1923,1931,1939],{"type":23,"tag":158,"props":1924,"children":1925},{"dataMmlNode":174},[1926],{"type":23,"tag":177,"props":1927,"children":1930},{"dataC":1928,"xLinkHref":1929},"1D456","#MJX-12-TEX-I-1D456",[],{"type":23,"tag":158,"props":1932,"children":1934},{"dataMmlNode":193,"transform":1933},"translate(345,0)",[1935],{"type":23,"tag":177,"props":1936,"children":1938},{"dataC":1098,"xLinkHref":1937},"#MJX-12-TEX-N-2192",[],{"type":23,"tag":158,"props":1940,"children":1942},{"dataMmlNode":174,"transform":1941},"translate(1345,0)",[1943],{"type":23,"tag":177,"props":1944,"children":1947},{"dataC":1945,"xLinkHref":1946},"221E","#MJX-12-TEX-N-221E",[],{"type":23,"tag":158,"props":1949,"children":1951},{"dataMmlNode":174,"transform":1950},"translate(6938.4,0)",[1952],{"type":23,"tag":177,"props":1953,"children":1954},{"dataC":179,"xLinkHref":1860},[],{"type":23,"tag":158,"props":1956,"children":1958},{"dataMmlNode":193,"transform":1957},"translate(7826.4,0)",[1959],{"type":23,"tag":177,"props":1960,"children":1961},{"dataC":198,"xLinkHref":1868},[],{"type":23,"tag":158,"props":1963,"children":1965},{"dataMmlNode":170,"transform":1964},"translate(8215.4,0)",[1966,1973],{"type":23,"tag":158,"props":1967,"children":1968},{"dataMmlNode":174},[1969],{"type":23,"tag":177,"props":1970,"children":1972},{"dataC":207,"xLinkHref":1971},"#MJX-12-TEX-I-1D446",[],{"type":23,"tag":158,"props":1974,"children":1976},{"dataMmlNode":174,"transform":1975},"translate(646,-150) scale(0.707)",[1977],{"type":23,"tag":177,"props":1978,"children":1979},{"dataC":1928,"xLinkHref":1929},[],{"type":23,"tag":158,"props":1981,"children":1983},{"dataMmlNode":193,"transform":1982},"translate(9155.3,0)",[1984],{"type":23,"tag":177,"props":1985,"children":1986},{"dataC":216,"xLinkHref":1888},[],{"type":23,"tag":32,"props":1988,"children":1989},{},[1990,1995],{"type":23,"tag":1328,"props":1991,"children":1992},{},[1993],{"type":29,"value":1994},"Entropy per symbol:",{"type":23,"tag":55,"props":1996,"children":1998},{"className":1997,"jax":59},[58],[1999],{"type":23,"tag":62,"props":2000,"children":2003},{"style":440,"xmlns":65,"width":2001,"height":442,"role":68,"focusable":69,"viewBox":2002,"xmlnsXLink":71},"38.297ex","0 -750 16927.2 1000",[2004,2086],{"type":23,"tag":74,"props":2005,"children":2006},{},[2007,2011,2016,2020,2024,2028,2032,2036,2040,2044,2048,2052,2056,2060,2065,2069,2073,2077,2082],{"type":23,"tag":78,"props":2008,"children":2010},{"id":2009,"d":81},"MJX-13-TEX-I-1D43B",[],{"type":23,"tag":78,"props":2012,"children":2015},{"id":2013,"d":2014},"MJX-13-TEX-N-2217","M229 286Q216 420 216 436Q216 454 240 464Q241 464 245 464T251 465Q263 464 273 456T283 436Q283 419 277 356T270 286L328 328Q384 369 389 372T399 375Q412 375 423 365T435 338Q435 325 425 315Q420 312 357 282T289 250L355 219L425 184Q434 175 434 161Q434 146 425 136T401 125Q393 125 383 131T328 171L270 213Q283 79 283 63Q283 53 276 44T250 35Q231 35 224 44T216 63Q216 80 222 143T229 213L171 171Q115 130 110 127Q106 124 100 124Q87 124 76 134T64 161Q64 166 64 169T67 175T72 181T81 188T94 195T113 204T138 215T170 230T210 250L74 315Q65 324 65 338Q65 353 74 363T98 374Q106 374 116 368T171 328L229 286Z",[],{"type":23,"tag":78,"props":2017,"children":2019},{"id":2018,"d":91},"MJX-13-TEX-N-28",[],{"type":23,"tag":78,"props":2021,"children":2023},{"id":2022,"d":1807},"MJX-13-TEX-C-53",[],{"type":23,"tag":78,"props":2025,"children":2027},{"id":2026,"d":101},"MJX-13-TEX-N-29",[],{"type":23,"tag":78,"props":2029,"children":2031},{"id":2030,"d":106},"MJX-13-TEX-N-3D",[],{"type":23,"tag":78,"props":2033,"children":2035},{"id":2034,"d":141},"MJX-13-TEX-N-6C",[],{"type":23,"tag":78,"props":2037,"children":2039},{"id":2038,"d":1824},"MJX-13-TEX-N-69",[],{"type":23,"tag":78,"props":2041,"children":2043},{"id":2042,"d":1829},"MJX-13-TEX-N-6D",[],{"type":23,"tag":78,"props":2045,"children":2047},{"id":2046,"d":1834},"MJX-13-TEX-I-1D456",[],{"type":23,"tag":78,"props":2049,"children":2051},{"id":2050,"d":1052},"MJX-13-TEX-N-2192",[],{"type":23,"tag":78,"props":2053,"children":2055},{"id":2054,"d":1843},"MJX-13-TEX-N-221E",[],{"type":23,"tag":78,"props":2057,"children":2059},{"id":2058,"d":96},"MJX-13-TEX-I-1D446",[],{"type":23,"tag":78,"props":2061,"children":2064},{"id":2062,"d":2063},"MJX-13-TEX-N-7C","M139 -249H137Q125 -249 119 -235V251L120 737Q130 750 139 750Q152 750 159 735V-235Q151 -249 141 -249H139Z",[],{"type":23,"tag":78,"props":2066,"children":2068},{"id":2067,"d":493},"MJX-13-TEX-N-31",[],{"type":23,"tag":78,"props":2070,"children":2072},{"id":2071,"d":778},"MJX-13-TEX-N-2C",[],{"type":23,"tag":78,"props":2074,"children":2076},{"id":2075,"d":1422},"MJX-13-TEX-N-32",[],{"type":23,"tag":78,"props":2078,"children":2081},{"id":2079,"d":2080},"MJX-13-TEX-N-2026","M78 60Q78 84 95 102T138 120Q162 120 180 104T199 61Q199 36 182 18T139 0T96 17T78 60ZM525 60Q525 84 542 102T585 120Q609 120 627 104T646 61Q646 36 629 18T586 0T543 17T525 60ZM972 60Q972 84 989 102T1032 120Q1056 120 1074 104T1093 61Q1093 36 1076 18T1033 0T990 17T972 60Z",[],{"type":23,"tag":78,"props":2083,"children":2085},{"id":2084,"d":111},"MJX-13-TEX-N-2212",[],{"type":23,"tag":158,"props":2087,"children":2088},{"stroke":160,"fill":160,"stroke-width":161,"transform":162},[2089],{"type":23,"tag":158,"props":2090,"children":2091},{"dataMmlNode":166},[2092,2112,2120,2131,2139,2147,2190,2197,2204,2221,2230,2247,2255,2272,2279,2288,2295,2328],{"type":23,"tag":158,"props":2093,"children":2095},{"dataMmlNode":2094},"msup",[2096,2103],{"type":23,"tag":158,"props":2097,"children":2098},{"dataMmlNode":174},[2099],{"type":23,"tag":177,"props":2100,"children":2102},{"dataC":179,"xLinkHref":2101},"#MJX-13-TEX-I-1D43B",[],{"type":23,"tag":158,"props":2104,"children":2106},{"dataMmlNode":193,"transform":2105},"translate(973.9,363) scale(0.707)",[2107],{"type":23,"tag":177,"props":2108,"children":2111},{"dataC":2109,"xLinkHref":2110},"2217","#MJX-13-TEX-N-2217",[],{"type":23,"tag":158,"props":2113,"children":2115},{"dataMmlNode":193,"transform":2114},"translate(1377.4,0)",[2116],{"type":23,"tag":177,"props":2117,"children":2119},{"dataC":198,"xLinkHref":2118},"#MJX-13-TEX-N-28",[],{"type":23,"tag":158,"props":2121,"children":2123},{"dataMmlNode":252,"dataMjxTexclass":254,"transform":2122},"translate(1766.4,0)",[2124],{"type":23,"tag":158,"props":2125,"children":2126},{"dataMmlNode":174},[2127],{"type":23,"tag":177,"props":2128,"children":2130},{"dataC":1879,"xLinkHref":2129},"#MJX-13-TEX-C-53",[],{"type":23,"tag":158,"props":2132,"children":2134},{"dataMmlNode":193,"transform":2133},"translate(2408.4,0)",[2135],{"type":23,"tag":177,"props":2136,"children":2138},{"dataC":216,"xLinkHref":2137},"#MJX-13-TEX-N-29",[],{"type":23,"tag":158,"props":2140,"children":2142},{"dataMmlNode":193,"transform":2141},"translate(3075.2,0)",[2143],{"type":23,"tag":177,"props":2144,"children":2146},{"dataC":225,"xLinkHref":2145},"#MJX-13-TEX-N-3D",[],{"type":23,"tag":158,"props":2148,"children":2150},{"dataMmlNode":239,"transform":2149},"translate(4131,0)",[2151,2166],{"type":23,"tag":158,"props":2152,"children":2153},{"dataMmlNode":193},[2154,2158,2162],{"type":23,"tag":177,"props":2155,"children":2157},{"dataC":337,"xLinkHref":2156},"#MJX-13-TEX-N-6C",[],{"type":23,"tag":177,"props":2159,"children":2161},{"dataC":1911,"xLinkHref":2160,"transform":344},"#MJX-13-TEX-N-69",[],{"type":23,"tag":177,"props":2163,"children":2165},{"dataC":1916,"xLinkHref":2164,"transform":1503},"#MJX-13-TEX-N-6D",[],{"type":23,"tag":158,"props":2167,"children":2168},{"dataMmlNode":252,"transform":1921,"dataMjxTexclass":254},[2169,2176,2183],{"type":23,"tag":158,"props":2170,"children":2171},{"dataMmlNode":174},[2172],{"type":23,"tag":177,"props":2173,"children":2175},{"dataC":1928,"xLinkHref":2174},"#MJX-13-TEX-I-1D456",[],{"type":23,"tag":158,"props":2177,"children":2178},{"dataMmlNode":193,"transform":1933},[2179],{"type":23,"tag":177,"props":2180,"children":2182},{"dataC":1098,"xLinkHref":2181},"#MJX-13-TEX-N-2192",[],{"type":23,"tag":158,"props":2184,"children":2185},{"dataMmlNode":174,"transform":1941},[2186],{"type":23,"tag":177,"props":2187,"children":2189},{"dataC":1945,"xLinkHref":2188},"#MJX-13-TEX-N-221E",[],{"type":23,"tag":158,"props":2191,"children":2193},{"dataMmlNode":174,"transform":2192},"translate(7427.8,0)",[2194],{"type":23,"tag":177,"props":2195,"children":2196},{"dataC":179,"xLinkHref":2101},[],{"type":23,"tag":158,"props":2198,"children":2200},{"dataMmlNode":193,"transform":2199},"translate(8315.8,0)",[2201],{"type":23,"tag":177,"props":2202,"children":2203},{"dataC":198,"xLinkHref":2118},[],{"type":23,"tag":158,"props":2205,"children":2207},{"dataMmlNode":170,"transform":2206},"translate(8704.8,0)",[2208,2215],{"type":23,"tag":158,"props":2209,"children":2210},{"dataMmlNode":174},[2211],{"type":23,"tag":177,"props":2212,"children":2214},{"dataC":207,"xLinkHref":2213},"#MJX-13-TEX-I-1D446",[],{"type":23,"tag":158,"props":2216,"children":2217},{"dataMmlNode":174,"transform":1975},[2218],{"type":23,"tag":177,"props":2219,"children":2220},{"dataC":1928,"xLinkHref":2174},[],{"type":23,"tag":158,"props":2222,"children":2224},{"dataMmlNode":193,"transform":2223},"translate(9644.7,0) translate(0 -0.5)",[2225],{"type":23,"tag":177,"props":2226,"children":2229},{"dataC":2227,"xLinkHref":2228},"7C","#MJX-13-TEX-N-7C",[],{"type":23,"tag":158,"props":2231,"children":2233},{"dataMmlNode":170,"transform":2232},"translate(9922.7,0)",[2234,2240],{"type":23,"tag":158,"props":2235,"children":2236},{"dataMmlNode":174},[2237],{"type":23,"tag":177,"props":2238,"children":2239},{"dataC":207,"xLinkHref":2213},[],{"type":23,"tag":158,"props":2241,"children":2242},{"dataMmlNode":602,"transform":1975},[2243],{"type":23,"tag":177,"props":2244,"children":2246},{"dataC":607,"xLinkHref":2245},"#MJX-13-TEX-N-31",[],{"type":23,"tag":158,"props":2248,"children":2250},{"dataMmlNode":193,"transform":2249},"translate(10972.3,0)",[2251],{"type":23,"tag":177,"props":2252,"children":2254},{"dataC":853,"xLinkHref":2253},"#MJX-13-TEX-N-2C",[],{"type":23,"tag":158,"props":2256,"children":2258},{"dataMmlNode":170,"transform":2257},"translate(11417,0)",[2259,2265],{"type":23,"tag":158,"props":2260,"children":2261},{"dataMmlNode":174},[2262],{"type":23,"tag":177,"props":2263,"children":2264},{"dataC":207,"xLinkHref":2213},[],{"type":23,"tag":158,"props":2266,"children":2267},{"dataMmlNode":602,"transform":1975},[2268],{"type":23,"tag":177,"props":2269,"children":2271},{"dataC":1452,"xLinkHref":2270},"#MJX-13-TEX-N-32",[],{"type":23,"tag":158,"props":2273,"children":2275},{"dataMmlNode":193,"transform":2274},"translate(12466.5,0)",[2276],{"type":23,"tag":177,"props":2277,"children":2278},{"dataC":853,"xLinkHref":2253},[],{"type":23,"tag":158,"props":2280,"children":2282},{"dataMmlNode":193,"transform":2281},"translate(12911.2,0)",[2283],{"type":23,"tag":177,"props":2284,"children":2287},{"dataC":2285,"xLinkHref":2286},"2026","#MJX-13-TEX-N-2026",[],{"type":23,"tag":158,"props":2289,"children":2291},{"dataMmlNode":193,"transform":2290},"translate(14249.8,0)",[2292],{"type":23,"tag":177,"props":2293,"children":2294},{"dataC":853,"xLinkHref":2253},[],{"type":23,"tag":158,"props":2296,"children":2298},{"dataMmlNode":170,"transform":2297},"translate(14694.5,0)",[2299,2305],{"type":23,"tag":158,"props":2300,"children":2301},{"dataMmlNode":174},[2302],{"type":23,"tag":177,"props":2303,"children":2304},{"dataC":207,"xLinkHref":2213},[],{"type":23,"tag":158,"props":2306,"children":2307},{"dataMmlNode":252,"transform":1975,"dataMjxTexclass":254},[2308,2314,2321],{"type":23,"tag":158,"props":2309,"children":2310},{"dataMmlNode":174},[2311],{"type":23,"tag":177,"props":2312,"children":2313},{"dataC":1928,"xLinkHref":2174},[],{"type":23,"tag":158,"props":2315,"children":2316},{"dataMmlNode":193,"transform":1933},[2317],{"type":23,"tag":177,"props":2318,"children":2320},{"dataC":234,"xLinkHref":2319},"#MJX-13-TEX-N-2212",[],{"type":23,"tag":158,"props":2322,"children":2324},{"dataMmlNode":602,"transform":2323},"translate(1123,0)",[2325],{"type":23,"tag":177,"props":2326,"children":2327},{"dataC":607,"xLinkHref":2245},[],{"type":23,"tag":158,"props":2329,"children":2331},{"dataMmlNode":193,"transform":2330},"translate(16538.2,0)",[2332],{"type":23,"tag":177,"props":2333,"children":2334},{"dataC":216,"xLinkHref":2137},[],{"type":23,"tag":24,"props":2336,"children":2337},{"id":12},[2338],{"type":29,"value":2339},"Cryptography",{"type":23,"tag":2341,"props":2342,"children":2344},"h3",{"id":2343},"introduction",[2345],{"type":29,"value":2346},"Introduction",{"type":23,"tag":32,"props":2348,"children":2349},{},[2350],{"type":29,"value":2351},"First there are the so-called symmetric cryptosystems. Here we use a single encryption key. Let's take two parties A and B. If A wants to send an encrypted message to B he will use an encryption function with the data of the encryption key. When B will receive the message from A, he will have to use a decryption function (the \"inverse\" function of the encryption function) with the same key as A.",{"type":23,"tag":32,"props":2353,"children":2354},{},[2355],{"type":29,"value":2356},"Here, the encryption and decryption functions are very fast, but a problem arises: in order for A and B to use the same key, they will have to exchange it. And during this key exchange between A and B, a malicious person might intercept the key and send it back to B. This person will then be able to decrypt the information, thus breaking the confidentiality established between A and B.",{"type":23,"tag":32,"props":2358,"children":2359},{},[2360,2362,2370],{"type":29,"value":2361},"This is the origin of the so-called \"",{"type":23,"tag":42,"props":2363,"children":2367},{"href":2364,"rel":2365},"https://en.wikipedia.org/wiki/Man-in-the-middle_attack",[2366],"nofollow",[2368],{"type":29,"value":2369},"Man-in-the-middle-attack",{"type":29,"value":2371},"\".",{"type":23,"tag":32,"props":2373,"children":2374},{},[2375],{"type":29,"value":2376},"The second system is asymmetric encryption. In this one, if A wants to send an encrypted message to B, he will have to use two keys: a public key and a private key. The public key is accessible to everyone. It is by using A's public key that B will be able to decrypt A's message that he has encrypted with his private key.",{"type":23,"tag":32,"props":2378,"children":2379},{},[2380],{"type":29,"value":2381},"With this system, there is no key exchange, but the encryption and decryption functions are slower than with symmetric encryption. Moreover, the security of this kind of system relies on the fact that with today's computers, it would take an extremely long time to find an individual's private key from his or her public key (accessible to everyone). The point is that it is technically possible to decrypt any conversation using asymmetric encryption, but all in an unreasonable amount of time.",{"type":23,"tag":32,"props":2383,"children":2384},{},[2385],{"type":29,"value":2386},"Different applications of cryptography",{"type":23,"tag":2388,"props":2389,"children":2390},"table",{},[2391,2410],{"type":23,"tag":2392,"props":2393,"children":2394},"thead",{},[2395],{"type":23,"tag":2396,"props":2397,"children":2398},"tr",{},[2399,2405],{"type":23,"tag":2400,"props":2401,"children":2402},"th",{},[2403],{"type":29,"value":2404},"Name",{"type":23,"tag":2400,"props":2406,"children":2407},{},[2408],{"type":29,"value":2409},"Type of encryption",{"type":23,"tag":2411,"props":2412,"children":2413},"tbody",{},[2414,2428,2441,2454,2467,2480],{"type":23,"tag":2396,"props":2415,"children":2416},{},[2417,2423],{"type":23,"tag":2418,"props":2419,"children":2420},"td",{},[2421],{"type":29,"value":2422},"Cards and banking systems",{"type":23,"tag":2418,"props":2424,"children":2425},{},[2426],{"type":29,"value":2427},"RSA",{"type":23,"tag":2396,"props":2429,"children":2430},{},[2431,2436],{"type":23,"tag":2418,"props":2432,"children":2433},{},[2434],{"type":29,"value":2435},"NSA's \"secret defense\" files",{"type":23,"tag":2418,"props":2437,"children":2438},{},[2439],{"type":29,"value":2440},"AES",{"type":23,"tag":2396,"props":2442,"children":2443},{},[2444,2449],{"type":23,"tag":2418,"props":2445,"children":2446},{},[2447],{"type":29,"value":2448},"Online shopping",{"type":23,"tag":2418,"props":2450,"children":2451},{},[2452],{"type":29,"value":2453},"SSL or TLS",{"type":23,"tag":2396,"props":2455,"children":2456},{},[2457,2462],{"type":23,"tag":2418,"props":2458,"children":2459},{},[2460],{"type":29,"value":2461},"Wifi networks",{"type":23,"tag":2418,"props":2463,"children":2464},{},[2465],{"type":29,"value":2466},"WEP, WPA or WPA2",{"type":23,"tag":2396,"props":2468,"children":2469},{},[2470,2475],{"type":23,"tag":2418,"props":2471,"children":2472},{},[2473],{"type":29,"value":2474},"Client-server relationship",{"type":23,"tag":2418,"props":2476,"children":2477},{},[2478],{"type":29,"value":2479},"SSH (using RSA or DSA)",{"type":23,"tag":2396,"props":2481,"children":2482},{},[2483,2488],{"type":23,"tag":2418,"props":2484,"children":2485},{},[2486],{"type":29,"value":2487},"Email",{"type":23,"tag":2418,"props":2489,"children":2490},{},[2491],{"type":29,"value":2492},"PGP (RSA or DSA)",{"type":23,"tag":32,"props":2494,"children":2495},{},[2496],{"type":29,"value":2497},"Classification of certain encryption systems",{"type":23,"tag":2388,"props":2499,"children":2500},{},[2501,2517],{"type":23,"tag":2392,"props":2502,"children":2503},{},[2504],{"type":23,"tag":2396,"props":2505,"children":2506},{},[2507,2512],{"type":23,"tag":2400,"props":2508,"children":2509},{},[2510],{"type":29,"value":2511},"Symmetric encryption",{"type":23,"tag":2400,"props":2513,"children":2514},{},[2515],{"type":29,"value":2516},"Asymmetric encryption",{"type":23,"tag":2411,"props":2518,"children":2519},{},[2520,2531,2544,2557],{"type":23,"tag":2396,"props":2521,"children":2522},{},[2523,2527],{"type":23,"tag":2418,"props":2524,"children":2525},{},[2526],{"type":29,"value":2440},{"type":23,"tag":2418,"props":2528,"children":2529},{},[2530],{"type":29,"value":2427},{"type":23,"tag":2396,"props":2532,"children":2533},{},[2534,2539],{"type":23,"tag":2418,"props":2535,"children":2536},{},[2537],{"type":29,"value":2538},"DES",{"type":23,"tag":2418,"props":2540,"children":2541},{},[2542],{"type":29,"value":2543},"McEliece",{"type":23,"tag":2396,"props":2545,"children":2546},{},[2547,2552],{"type":23,"tag":2418,"props":2548,"children":2549},{},[2550],{"type":29,"value":2551},"IDEA",{"type":23,"tag":2418,"props":2553,"children":2554},{},[2555],{"type":29,"value":2556},"DSS/DSA",{"type":23,"tag":2396,"props":2558,"children":2559},{},[2560,2565],{"type":23,"tag":2418,"props":2561,"children":2562},{},[2563],{"type":29,"value":2564},"Menezes-Vanstonne",{"type":23,"tag":2418,"props":2566,"children":2567},{},[2568],{"type":29,"value":2569},"ElGamal",{"type":23,"tag":32,"props":2571,"children":2572},{},[2573],{"type":29,"value":2574},"Not discussed here, it may be interesting to learn about homomorphic encryption and its potential use for the cloud.",{"type":23,"tag":32,"props":2576,"children":2577},{},[2578],{"type":29,"value":2579},"In cryptography, the first names Alice and Bob are generally used to name two interlocutors. The first name Eve is used to designate a third person who is secretly listening to the conversation.",{"type":23,"tag":32,"props":2581,"children":2582},{},[2583,2585,2592],{"type":29,"value":2584},"List of other names used: ",{"type":23,"tag":42,"props":2586,"children":2589},{"href":2587,"rel":2588},"https://en.wikipedia.org/wiki/Alice_and_Bob",[2366],[2590],{"type":29,"value":2591},"Wikipedia page",{"type":29,"value":741},{"type":23,"tag":2341,"props":2594,"children":2596},{"id":2595},"symmetric-encryption-systems",[2597],{"type":29,"value":2598},"Symmetric encryption systems",{"type":23,"tag":32,"props":2600,"children":2601},{},[2602],{"type":29,"value":2603},"Historical encryption systems:",{"type":23,"tag":2605,"props":2606,"children":2607},"ul",{},[2608,2614],{"type":23,"tag":2609,"props":2610,"children":2611},"li",{},[2612],{"type":29,"value":2613},"Caesar's encryption",{"type":23,"tag":2609,"props":2615,"children":2616},{},[2617],{"type":29,"value":2618},"Vigenère's encryption",{"type":23,"tag":32,"props":2620,"children":2621},{},[2622,2634,2637],{"type":23,"tag":1328,"props":2623,"children":2624},{},[2625,2627,2632],{"type":29,"value":2626},"Definition (",{"type":23,"tag":427,"props":2628,"children":2629},{},[2630],{"type":29,"value":2631},"Perfect Secrecy",{"type":29,"value":2633},")",{"type":23,"tag":1013,"props":2635,"children":2636},{},[],{"type":29,"value":2638},"\nA cryptosystem has a perfect secret if its plaintext T and the corresponding ciphertext C are statistically independent.",{"type":23,"tag":32,"props":2640,"children":2641},{},[2642,2644,2647,2649],{"type":29,"value":2643},"Important result:",{"type":23,"tag":1013,"props":2645,"children":2646},{},[],{"type":29,"value":2648},"\nLet be a symmetric encryption system of key K. For this system to have a perfect secret, it must verify for any clear text T :\n",{"type":23,"tag":55,"props":2650,"children":2652},{"className":2651,"jax":59},[58],[2653],{"type":23,"tag":62,"props":2654,"children":2657},{"style":440,"xmlns":65,"width":2655,"height":442,"role":68,"focusable":69,"viewBox":2656,"xmlnsXLink":71},"14.16ex","0 -750 6258.6 1000",[2658,2687],{"type":23,"tag":74,"props":2659,"children":2660},{},[2661,2665,2669,2674,2678,2682],{"type":23,"tag":78,"props":2662,"children":2664},{"id":2663,"d":81},"MJX-14-TEX-I-1D43B",[],{"type":23,"tag":78,"props":2666,"children":2668},{"id":2667,"d":91},"MJX-14-TEX-N-28",[],{"type":23,"tag":78,"props":2670,"children":2673},{"id":2671,"d":2672},"MJX-14-TEX-I-1D43E","M285 628Q285 635 228 637Q205 637 198 638T191 647Q191 649 193 661Q199 681 203 682Q205 683 214 683H219Q260 681 355 681Q389 681 418 681T463 682T483 682Q500 682 500 674Q500 669 497 660Q496 658 496 654T495 648T493 644T490 641T486 639T479 638T470 637T456 637Q416 636 405 634T387 623L306 305Q307 305 490 449T678 597Q692 611 692 620Q692 635 667 637Q651 637 651 648Q651 650 654 662T659 677Q662 682 676 682Q680 682 711 681T791 680Q814 680 839 681T869 682Q889 682 889 672Q889 650 881 642Q878 637 862 637Q787 632 726 586Q710 576 656 534T556 455L509 418L518 396Q527 374 546 329T581 244Q656 67 661 61Q663 59 666 57Q680 47 717 46H738Q744 38 744 37T741 19Q737 6 731 0H720Q680 3 625 3Q503 3 488 0H478Q472 6 472 9T474 27Q478 40 480 43T491 46H494Q544 46 544 71Q544 75 517 141T485 216L427 354L359 301L291 248L268 155Q245 63 245 58Q245 51 253 49T303 46H334Q340 37 340 35Q340 19 333 5Q328 0 317 0Q314 0 280 1T180 2Q118 2 85 2T49 1Q31 1 31 11Q31 13 34 25Q38 41 42 43T65 46Q92 46 125 49Q139 52 144 61Q147 65 216 339T285 628Z",[],{"type":23,"tag":78,"props":2675,"children":2677},{"id":2676,"d":101},"MJX-14-TEX-N-29",[],{"type":23,"tag":78,"props":2679,"children":2681},{"id":2680,"d":1417},"MJX-14-TEX-N-2265",[],{"type":23,"tag":78,"props":2683,"children":2686},{"id":2684,"d":2685},"MJX-14-TEX-I-1D447","M40 437Q21 437 21 445Q21 450 37 501T71 602L88 651Q93 669 101 677H569H659Q691 677 697 676T704 667Q704 661 687 553T668 444Q668 437 649 437Q640 437 637 437T631 442L629 445Q629 451 635 490T641 551Q641 586 628 604T573 629Q568 630 515 631Q469 631 457 630T439 622Q438 621 368 343T298 60Q298 48 386 46Q418 46 427 45T436 36Q436 31 433 22Q429 4 424 1L422 0Q419 0 415 0Q410 0 363 1T228 2Q99 2 64 0H49Q43 6 43 9T45 27Q49 40 55 46H83H94Q174 46 189 55Q190 56 191 56Q196 59 201 76T241 233Q258 301 269 344Q339 619 339 625Q339 630 310 630H279Q212 630 191 624Q146 614 121 583T67 467Q60 445 57 441T43 437H40Z",[],{"type":23,"tag":158,"props":2688,"children":2689},{"stroke":160,"fill":160,"stroke-width":161,"transform":162},[2690],{"type":23,"tag":158,"props":2691,"children":2692},{"dataMmlNode":166},[2693,2700,2707,2715,2723,2731,2738,2745,2754],{"type":23,"tag":158,"props":2694,"children":2695},{"dataMmlNode":174},[2696],{"type":23,"tag":177,"props":2697,"children":2699},{"dataC":179,"xLinkHref":2698},"#MJX-14-TEX-I-1D43B",[],{"type":23,"tag":158,"props":2701,"children":2702},{"dataMmlNode":193,"transform":1864},[2703],{"type":23,"tag":177,"props":2704,"children":2706},{"dataC":198,"xLinkHref":2705},"#MJX-14-TEX-N-28",[],{"type":23,"tag":158,"props":2708,"children":2709},{"dataMmlNode":174,"transform":1872},[2710],{"type":23,"tag":177,"props":2711,"children":2714},{"dataC":2712,"xLinkHref":2713},"1D43E","#MJX-14-TEX-I-1D43E",[],{"type":23,"tag":158,"props":2716,"children":2718},{"dataMmlNode":193,"transform":2717},"translate(2166,0)",[2719],{"type":23,"tag":177,"props":2720,"children":2722},{"dataC":216,"xLinkHref":2721},"#MJX-14-TEX-N-29",[],{"type":23,"tag":158,"props":2724,"children":2726},{"dataMmlNode":193,"transform":2725},"translate(2832.8,0)",[2727],{"type":23,"tag":177,"props":2728,"children":2730},{"dataC":1443,"xLinkHref":2729},"#MJX-14-TEX-N-2265",[],{"type":23,"tag":158,"props":2732,"children":2734},{"dataMmlNode":174,"transform":2733},"translate(3888.6,0)",[2735],{"type":23,"tag":177,"props":2736,"children":2737},{"dataC":179,"xLinkHref":2698},[],{"type":23,"tag":158,"props":2739,"children":2741},{"dataMmlNode":193,"transform":2740},"translate(4776.6,0)",[2742],{"type":23,"tag":177,"props":2743,"children":2744},{"dataC":198,"xLinkHref":2705},[],{"type":23,"tag":158,"props":2746,"children":2748},{"dataMmlNode":174,"transform":2747},"translate(5165.6,0)",[2749],{"type":23,"tag":177,"props":2750,"children":2753},{"dataC":2751,"xLinkHref":2752},"1D447","#MJX-14-TEX-I-1D447",[],{"type":23,"tag":158,"props":2755,"children":2757},{"dataMmlNode":193,"transform":2756},"translate(5869.6,0)",[2758],{"type":23,"tag":177,"props":2759,"children":2760},{"dataC":216,"xLinkHref":2721},[],{"type":23,"tag":2341,"props":2762,"children":2764},{"id":2763},"asymmetric-encryption-systems",[2765],{"type":29,"value":2766},"Asymmetric encryption systems",{"type":23,"tag":32,"props":2768,"children":2769},{},[2770,2772,2779,2781,2788],{"type":29,"value":2771},"To better understand the way such systems work, it is mandatory to have some knowledge of ",{"type":23,"tag":42,"props":2773,"children":2776},{"href":2774,"rel":2775},"https://en.wikipedia.org/wiki/Number_theory",[2366],[2777],{"type":29,"value":2778},"number theory",{"type":29,"value":2780}," and ",{"type":23,"tag":42,"props":2782,"children":2785},{"href":2783,"rel":2784},"https://en.wikipedia.org/wiki/Modular_arithmetic",[2366],[2786],{"type":29,"value":2787},"modular arithmetic",{"type":29,"value":741},{"type":23,"tag":2790,"props":2791,"children":2793},"h4",{"id":2792},"rsa-encryption",[2794],{"type":29,"value":2795},"RSA Encryption",{"type":23,"tag":32,"props":2797,"children":2798},{},[2799,2801,2806],{"type":29,"value":2800},"RSA, for ",{"type":23,"tag":427,"props":2802,"children":2803},{},[2804],{"type":29,"value":2805},"Rivest Shamir Adleman",{"type":29,"value":2807}," is an encryption that appeared in 1977. It was created by Ronald Rivest, Adi Shamir, and Leonard Adleman.",{"type":23,"tag":32,"props":2809,"children":2810},{},[2811],{"type":29,"value":2812},"Let's describe how this system works when Alice wants to send a message to Bob. To do so, Bob will need to create his two keys: a private key and a public key.",{"type":23,"tag":2814,"props":2815,"children":2817},"h5",{"id":2816},"steps-for-bob",[2818],{"type":29,"value":2819},"Steps for Bob:",{"type":23,"tag":2821,"props":2822,"children":2824},"div",{"className":2823},[679],[2825],{"type":23,"tag":2605,"props":2826,"children":2827},{},[2828,2846,2934,3211,3223],{"type":23,"tag":2609,"props":2829,"children":2830},{},[2831,2833,2838,2839,2844],{"type":29,"value":2832},"He chooses two distinct prime numbers ",{"type":23,"tag":2834,"props":2835,"children":2836},"strong",{},[2837],{"type":29,"value":32},{"type":29,"value":2780},{"type":23,"tag":2834,"props":2840,"children":2841},{},[2842],{"type":29,"value":2843},"q",{"type":29,"value":2845},". In order to guarantee the security of the encryption, these two numbers must be large enough. One can imagine two 1024 bits prime numbers, which is the usual practice.",{"type":23,"tag":2609,"props":2847,"children":2848},{},[2849,2851,2856,2858,2933],{"type":29,"value":2850},"Let us note ",{"type":23,"tag":2834,"props":2852,"children":2853},{},[2854],{"type":29,"value":2855},"m = pq",{"type":29,"value":2857},", which will be used as a modulus: all the following operations will be performed in ",{"type":23,"tag":55,"props":2859,"children":2861},{"className":2860,"jax":59},[58],[2862],{"type":23,"tag":62,"props":2863,"children":2866},{"style":440,"xmlns":65,"width":2864,"height":442,"role":68,"focusable":69,"viewBox":2865,"xmlnsXLink":71},"6.305ex","0 -750 2787 1000",[2867,2885],{"type":23,"tag":74,"props":2868,"children":2869},{},[2870,2875,2880],{"type":23,"tag":78,"props":2871,"children":2874},{"id":2872,"d":2873},"MJX-15-TEX-D-2124","M39 -1Q29 9 29 12Q29 23 60 77T219 337L410 648H364Q261 648 210 628Q168 612 142 588T109 545T97 509T88 490Q85 489 80 489Q72 489 61 503L70 588Q72 607 75 628T79 662T81 675Q84 677 88 681Q90 683 341 683H592Q604 673 604 666Q604 662 412 348L221 37Q221 35 301 35Q406 35 446 48Q504 68 543 111T597 212Q602 239 617 239Q624 239 629 234T635 223Q635 215 621 113T604 8L597 1Q595 -1 317 -1H39ZM148 637L166 648H112V632Q111 629 110 622T108 612Q108 608 110 608T116 612T129 623T148 637ZM552 646Q552 648 504 648Q452 648 450 643Q448 639 266 343T77 37Q77 35 128 35H179L366 339L552 646ZM572 35Q581 89 581 97L561 77Q542 59 526 48L508 37L539 35H572Z",[],{"type":23,"tag":78,"props":2876,"children":2879},{"id":2877,"d":2878},"MJX-15-TEX-D-2F","M451 730Q460 750 479 750Q492 750 501 740T510 718Q508 708 318 244L122 -232Q112 -250 95 -250Q82 -250 73 -241T64 -218Q66 -205 258 261T451 730Z",[],{"type":23,"tag":78,"props":2881,"children":2884},{"id":2882,"d":2883},"MJX-15-TEX-I-1D45A","M21 287Q22 293 24 303T36 341T56 388T88 425T132 442T175 435T205 417T221 395T229 376L231 369Q231 367 232 367L243 378Q303 442 384 442Q401 442 415 440T441 433T460 423T475 411T485 398T493 385T497 373T500 364T502 357L510 367Q573 442 659 442Q713 442 746 415T780 336Q780 285 742 178T704 50Q705 36 709 31T724 26Q752 26 776 56T815 138Q818 149 821 151T837 153Q857 153 857 145Q857 144 853 130Q845 101 831 73T785 17T716 -10Q669 -10 648 17T627 73Q627 92 663 193T700 345Q700 404 656 404H651Q565 404 506 303L499 291L466 157Q433 26 428 16Q415 -11 385 -11Q372 -11 364 -4T353 8T350 18Q350 29 384 161L420 307Q423 322 423 345Q423 404 379 404H374Q288 404 229 303L222 291L189 157Q156 26 151 16Q138 -11 108 -11Q95 -11 87 -5T76 7T74 17Q74 30 112 181Q151 335 151 342Q154 357 154 369Q154 405 129 405Q107 405 92 377T69 316T57 280Q55 278 41 278H27Q21 284 21 287Z",[],{"type":23,"tag":158,"props":2886,"children":2887},{"stroke":160,"fill":160,"stroke-width":161,"transform":162},[2888],{"type":23,"tag":158,"props":2889,"children":2890},{"dataMmlNode":166},[2891,2914,2923],{"type":23,"tag":158,"props":2892,"children":2893},{"dataMmlNode":252,"dataMjxTexclass":254},[2894,2902],{"type":23,"tag":158,"props":2895,"children":2896},{"dataMmlNode":174},[2897],{"type":23,"tag":177,"props":2898,"children":2901},{"dataC":2899,"xLinkHref":2900},"2124","#MJX-15-TEX-D-2124",[],{"type":23,"tag":158,"props":2903,"children":2905},{"dataMmlNode":252,"dataMjxTexclass":254,"transform":2904},"translate(667,0)",[2906],{"type":23,"tag":158,"props":2907,"children":2908},{"dataMmlNode":193},[2909],{"type":23,"tag":177,"props":2910,"children":2913},{"dataC":2911,"xLinkHref":2912},"2F","#MJX-15-TEX-D-2F",[],{"type":23,"tag":158,"props":2915,"children":2917},{"dataMmlNode":174,"transform":2916},"translate(1242,0)",[2918],{"type":23,"tag":177,"props":2919,"children":2922},{"dataC":2920,"xLinkHref":2921},"1D45A","#MJX-15-TEX-I-1D45A",[],{"type":23,"tag":158,"props":2924,"children":2926},{"dataMmlNode":252,"dataMjxTexclass":254,"transform":2925},"translate(2120,0)",[2927],{"type":23,"tag":158,"props":2928,"children":2929},{"dataMmlNode":174},[2930],{"type":23,"tag":177,"props":2931,"children":2932},{"dataC":2899,"xLinkHref":2900},[],{"type":29,"value":741},{"type":23,"tag":2609,"props":2935,"children":2936},{},[2937,2939,2944,2946,2949,2951,2954],{"type":29,"value":2938},"Then, Bob chooses an integer ",{"type":23,"tag":2834,"props":2940,"children":2941},{},[2942],{"type":29,"value":2943},"k",{"type":29,"value":2945},", multiple of both (p-1) and (q-1).",{"type":23,"tag":1013,"props":2947,"children":2948},{},[],{"type":29,"value":2950},"p and q being distinct, it is then quite appropriate to choose the Euler indicator in pq:",{"type":23,"tag":1013,"props":2952,"children":2953},{},[],{"type":23,"tag":55,"props":2955,"children":2957},{"className":2956,"jax":59},[58],[2958],{"type":23,"tag":62,"props":2959,"children":2962},{"style":440,"xmlns":65,"width":2960,"height":442,"role":68,"focusable":69,"viewBox":2961,"xmlnsXLink":71},"37.406ex","0 -750 16533.6 1000",[2963,3005],{"type":23,"tag":74,"props":2964,"children":2965},{},[2966,2971,2975,2980,2984,2988,2993,2997,3001],{"type":23,"tag":78,"props":2967,"children":2970},{"id":2968,"d":2969},"MJX-16-TEX-I-1D458","M121 647Q121 657 125 670T137 683Q138 683 209 688T282 694Q294 694 294 686Q294 679 244 477Q194 279 194 272Q213 282 223 291Q247 309 292 354T362 415Q402 442 438 442Q468 442 485 423T503 369Q503 344 496 327T477 302T456 291T438 288Q418 288 406 299T394 328Q394 353 410 369T442 390L458 393Q446 405 434 405H430Q398 402 367 380T294 316T228 255Q230 254 243 252T267 246T293 238T320 224T342 206T359 180T365 147Q365 130 360 106T354 66Q354 26 381 26Q429 26 459 145Q461 153 479 153H483Q499 153 499 144Q499 139 496 130Q455 -11 378 -11Q333 -11 305 15T277 90Q277 108 280 121T283 145Q283 167 269 183T234 206T200 217T182 220H180Q168 178 159 139T145 81T136 44T129 20T122 7T111 -2Q98 -11 83 -11Q66 -11 57 -1T48 16Q48 26 85 176T158 471L195 616Q196 629 188 632T149 637H144Q134 637 131 637T124 640T121 647Z",[],{"type":23,"tag":78,"props":2972,"children":2974},{"id":2973,"d":106},"MJX-16-TEX-N-3D",[],{"type":23,"tag":78,"props":2976,"children":2979},{"id":2977,"d":2978},"MJX-16-TEX-I-1D719","M409 688Q413 694 421 694H429H442Q448 688 448 686Q448 679 418 563Q411 535 404 504T392 458L388 442Q388 441 397 441T429 435T477 418Q521 397 550 357T579 260T548 151T471 65T374 11T279 -10H275L251 -105Q245 -128 238 -160Q230 -192 227 -198T215 -205H209Q189 -205 189 -198Q189 -193 211 -103L234 -11Q234 -10 226 -10Q221 -10 206 -8T161 6T107 36T62 89T43 171Q43 231 76 284T157 370T254 422T342 441Q347 441 348 445L378 567Q409 686 409 688ZM122 150Q122 116 134 91T167 53T203 35T237 27H244L337 404Q333 404 326 403T297 395T255 379T211 350T170 304Q152 276 137 237Q122 191 122 150ZM500 282Q500 320 484 347T444 385T405 400T381 404H378L332 217L284 29Q284 27 285 27Q293 27 317 33T357 47Q400 66 431 100T475 170T494 234T500 282Z",[],{"type":23,"tag":78,"props":2981,"children":2983},{"id":2982,"d":91},"MJX-16-TEX-N-28",[],{"type":23,"tag":78,"props":2985,"children":2987},{"id":2986,"d":136},"MJX-16-TEX-I-1D45D",[],{"type":23,"tag":78,"props":2989,"children":2992},{"id":2990,"d":2991},"MJX-16-TEX-I-1D45E","M33 157Q33 258 109 349T280 441Q340 441 372 389Q373 390 377 395T388 406T404 418Q438 442 450 442Q454 442 457 439T460 434Q460 425 391 149Q320 -135 320 -139Q320 -147 365 -148H390Q396 -156 396 -157T393 -175Q389 -188 383 -194H370Q339 -192 262 -192Q234 -192 211 -192T174 -192T157 -193Q143 -193 143 -185Q143 -182 145 -170Q149 -154 152 -151T172 -148Q220 -148 230 -141Q238 -136 258 -53T279 32Q279 33 272 29Q224 -10 172 -10Q117 -10 75 30T33 157ZM352 326Q329 405 277 405Q242 405 210 374T160 293Q131 214 119 129Q119 126 119 118T118 106Q118 61 136 44T179 26Q233 26 290 98L298 109L352 326Z",[],{"type":23,"tag":78,"props":2994,"children":2996},{"id":2995,"d":101},"MJX-16-TEX-N-29",[],{"type":23,"tag":78,"props":2998,"children":3000},{"id":2999,"d":111},"MJX-16-TEX-N-2212",[],{"type":23,"tag":78,"props":3002,"children":3004},{"id":3003,"d":493},"MJX-16-TEX-N-31",[],{"type":23,"tag":158,"props":3006,"children":3007},{"stroke":160,"fill":160,"stroke-width":161,"transform":162},[3008],{"type":23,"tag":158,"props":3009,"children":3010},{"dataMmlNode":166},[3011,3019,3027,3036,3044,3052,3061,3069,3076,3083,3090,3097,3104,3111,3118,3125,3132,3139,3146,3153,3161,3169,3176,3183,3190,3197,3204],{"type":23,"tag":158,"props":3012,"children":3013},{"dataMmlNode":174},[3014],{"type":23,"tag":177,"props":3015,"children":3018},{"dataC":3016,"xLinkHref":3017},"1D458","#MJX-16-TEX-I-1D458",[],{"type":23,"tag":158,"props":3020,"children":3022},{"dataMmlNode":193,"transform":3021},"translate(798.8,0)",[3023],{"type":23,"tag":177,"props":3024,"children":3026},{"dataC":225,"xLinkHref":3025},"#MJX-16-TEX-N-3D",[],{"type":23,"tag":158,"props":3028,"children":3030},{"dataMmlNode":174,"transform":3029},"translate(1854.6,0)",[3031],{"type":23,"tag":177,"props":3032,"children":3035},{"dataC":3033,"xLinkHref":3034},"1D719","#MJX-16-TEX-I-1D719",[],{"type":23,"tag":158,"props":3037,"children":3039},{"dataMmlNode":193,"transform":3038},"translate(2450.6,0)",[3040],{"type":23,"tag":177,"props":3041,"children":3043},{"dataC":198,"xLinkHref":3042},"#MJX-16-TEX-N-28",[],{"type":23,"tag":158,"props":3045,"children":3047},{"dataMmlNode":174,"transform":3046},"translate(2839.6,0)",[3048],{"type":23,"tag":177,"props":3049,"children":3051},{"dataC":297,"xLinkHref":3050},"#MJX-16-TEX-I-1D45D",[],{"type":23,"tag":158,"props":3053,"children":3055},{"dataMmlNode":174,"transform":3054},"translate(3342.6,0)",[3056],{"type":23,"tag":177,"props":3057,"children":3060},{"dataC":3058,"xLinkHref":3059},"1D45E","#MJX-16-TEX-I-1D45E",[],{"type":23,"tag":158,"props":3062,"children":3064},{"dataMmlNode":193,"transform":3063},"translate(3802.6,0)",[3065],{"type":23,"tag":177,"props":3066,"children":3068},{"dataC":216,"xLinkHref":3067},"#MJX-16-TEX-N-29",[],{"type":23,"tag":158,"props":3070,"children":3072},{"dataMmlNode":193,"transform":3071},"translate(4469.3,0)",[3073],{"type":23,"tag":177,"props":3074,"children":3075},{"dataC":225,"xLinkHref":3025},[],{"type":23,"tag":158,"props":3077,"children":3079},{"dataMmlNode":174,"transform":3078},"translate(5525.1,0)",[3080],{"type":23,"tag":177,"props":3081,"children":3082},{"dataC":3033,"xLinkHref":3034},[],{"type":23,"tag":158,"props":3084,"children":3086},{"dataMmlNode":193,"transform":3085},"translate(6121.1,0)",[3087],{"type":23,"tag":177,"props":3088,"children":3089},{"dataC":198,"xLinkHref":3042},[],{"type":23,"tag":158,"props":3091,"children":3093},{"dataMmlNode":174,"transform":3092},"translate(6510.1,0)",[3094],{"type":23,"tag":177,"props":3095,"children":3096},{"dataC":297,"xLinkHref":3050},[],{"type":23,"tag":158,"props":3098,"children":3100},{"dataMmlNode":193,"transform":3099},"translate(7013.1,0)",[3101],{"type":23,"tag":177,"props":3102,"children":3103},{"dataC":216,"xLinkHref":3067},[],{"type":23,"tag":158,"props":3105,"children":3107},{"dataMmlNode":174,"transform":3106},"translate(7402.1,0)",[3108],{"type":23,"tag":177,"props":3109,"children":3110},{"dataC":3033,"xLinkHref":3034},[],{"type":23,"tag":158,"props":3112,"children":3114},{"dataMmlNode":193,"transform":3113},"translate(7998.1,0)",[3115],{"type":23,"tag":177,"props":3116,"children":3117},{"dataC":198,"xLinkHref":3042},[],{"type":23,"tag":158,"props":3119,"children":3121},{"dataMmlNode":174,"transform":3120},"translate(8387.1,0)",[3122],{"type":23,"tag":177,"props":3123,"children":3124},{"dataC":3058,"xLinkHref":3059},[],{"type":23,"tag":158,"props":3126,"children":3128},{"dataMmlNode":193,"transform":3127},"translate(8847.1,0)",[3129],{"type":23,"tag":177,"props":3130,"children":3131},{"dataC":216,"xLinkHref":3067},[],{"type":23,"tag":158,"props":3133,"children":3135},{"dataMmlNode":193,"transform":3134},"translate(9513.9,0)",[3136],{"type":23,"tag":177,"props":3137,"children":3138},{"dataC":225,"xLinkHref":3025},[],{"type":23,"tag":158,"props":3140,"children":3142},{"dataMmlNode":193,"transform":3141},"translate(10569.7,0)",[3143],{"type":23,"tag":177,"props":3144,"children":3145},{"dataC":198,"xLinkHref":3042},[],{"type":23,"tag":158,"props":3147,"children":3149},{"dataMmlNode":174,"transform":3148},"translate(10958.7,0)",[3150],{"type":23,"tag":177,"props":3151,"children":3152},{"dataC":297,"xLinkHref":3050},[],{"type":23,"tag":158,"props":3154,"children":3156},{"dataMmlNode":193,"transform":3155},"translate(11683.9,0)",[3157],{"type":23,"tag":177,"props":3158,"children":3160},{"dataC":234,"xLinkHref":3159},"#MJX-16-TEX-N-2212",[],{"type":23,"tag":158,"props":3162,"children":3164},{"dataMmlNode":602,"transform":3163},"translate(12684.1,0)",[3165],{"type":23,"tag":177,"props":3166,"children":3168},{"dataC":607,"xLinkHref":3167},"#MJX-16-TEX-N-31",[],{"type":23,"tag":158,"props":3170,"children":3172},{"dataMmlNode":193,"transform":3171},"translate(13184.1,0)",[3173],{"type":23,"tag":177,"props":3174,"children":3175},{"dataC":216,"xLinkHref":3067},[],{"type":23,"tag":158,"props":3177,"children":3179},{"dataMmlNode":193,"transform":3178},"translate(13573.1,0)",[3180],{"type":23,"tag":177,"props":3181,"children":3182},{"dataC":198,"xLinkHref":3042},[],{"type":23,"tag":158,"props":3184,"children":3186},{"dataMmlNode":174,"transform":3185},"translate(13962.1,0)",[3187],{"type":23,"tag":177,"props":3188,"children":3189},{"dataC":3058,"xLinkHref":3059},[],{"type":23,"tag":158,"props":3191,"children":3193},{"dataMmlNode":193,"transform":3192},"translate(14644.3,0)",[3194],{"type":23,"tag":177,"props":3195,"children":3196},{"dataC":234,"xLinkHref":3159},[],{"type":23,"tag":158,"props":3198,"children":3200},{"dataMmlNode":602,"transform":3199},"translate(15644.6,0)",[3201],{"type":23,"tag":177,"props":3202,"children":3203},{"dataC":607,"xLinkHref":3167},[],{"type":23,"tag":158,"props":3205,"children":3207},{"dataMmlNode":193,"transform":3206},"translate(16144.6,0)",[3208],{"type":23,"tag":177,"props":3209,"children":3210},{"dataC":216,"xLinkHref":3067},[],{"type":23,"tag":2609,"props":3212,"children":3213},{},[3214,3216,3221],{"type":29,"value":3215},"He chooses an integer ",{"type":23,"tag":2834,"props":3217,"children":3218},{},[3219],{"type":29,"value":3220},"e",{"type":29,"value":3222}," prime with k, in other words: gcd(e, k) = 1.",{"type":23,"tag":2609,"props":3224,"children":3225},{},[3226,3228,3231,3404,3407,3409,3576,3577,3580,3582,3587],{"type":29,"value":3227},"According to the Bézout identity, there are integers d and l such that :",{"type":23,"tag":1013,"props":3229,"children":3230},{},[],{"type":23,"tag":55,"props":3232,"children":3234},{"className":3233,"jax":59},[58],[3235],{"type":23,"tag":62,"props":3236,"children":3241},{"style":3237,"xmlns":65,"width":3238,"height":3239,"role":68,"focusable":69,"viewBox":3240,"xmlnsXLink":71},"vertical-align: -0.186ex;","25.515ex","1.756ex","0 -694 11277.6 776",[3242,3283],{"type":23,"tag":74,"props":3243,"children":3244},{},[3245,3249,3253,3257,3262,3266,3270,3274,3279],{"type":23,"tag":78,"props":3246,"children":3248},{"id":3247,"d":493},"MJX-17-TEX-N-31",[],{"type":23,"tag":78,"props":3250,"children":3252},{"id":3251,"d":106},"MJX-17-TEX-N-3D",[],{"type":23,"tag":78,"props":3254,"children":3256},{"id":3255,"d":498},"MJX-17-TEX-I-1D452",[],{"type":23,"tag":78,"props":3258,"children":3261},{"id":3259,"d":3260},"MJX-17-TEX-I-1D451","M366 683Q367 683 438 688T511 694Q523 694 523 686Q523 679 450 384T375 83T374 68Q374 26 402 26Q411 27 422 35Q443 55 463 131Q469 151 473 152Q475 153 483 153H487H491Q506 153 506 145Q506 140 503 129Q490 79 473 48T445 8T417 -8Q409 -10 393 -10Q359 -10 336 5T306 36L300 51Q299 52 296 50Q294 48 292 46Q233 -10 172 -10Q117 -10 75 30T33 157Q33 205 53 255T101 341Q148 398 195 420T280 442Q336 442 364 400Q369 394 369 396Q370 400 396 505T424 616Q424 629 417 632T378 637H357Q351 643 351 645T353 664Q358 683 366 683ZM352 326Q329 405 277 405Q242 405 210 374T160 293Q131 214 119 129Q119 126 119 118T118 106Q118 61 136 44T179 26Q233 26 290 98L298 109L352 326Z",[],{"type":23,"tag":78,"props":3263,"children":3265},{"id":3264,"d":488},"MJX-17-TEX-N-2B",[],{"type":23,"tag":78,"props":3267,"children":3269},{"id":3268,"d":2969},"MJX-17-TEX-I-1D458",[],{"type":23,"tag":78,"props":3271,"children":3273},{"id":3272,"d":451},"MJX-17-TEX-I-1D459",[],{"type":23,"tag":78,"props":3275,"children":3278},{"id":3276,"d":3277},"MJX-17-TEX-N-21D4","M308 524Q318 526 323 526Q340 526 340 514Q340 507 336 499Q326 476 314 454T292 417T274 391T260 374L255 368Q255 367 500 367Q744 367 744 368L739 374Q734 379 726 390T707 416T685 453T663 499Q658 511 658 515Q658 525 680 525Q687 524 690 523T695 519T701 507Q766 359 902 287Q921 276 939 269T961 259T966 250Q966 246 965 244T960 240T949 236T930 228T902 213Q763 137 701 -7Q697 -16 695 -19T690 -23T680 -25Q658 -25 658 -15Q658 -11 663 1Q673 24 685 46T707 83T725 109T739 126L744 132Q744 133 500 133Q255 133 255 132L260 126Q265 121 273 110T292 84T314 47T336 1Q341 -11 341 -15Q341 -25 319 -25Q312 -24 309 -23T304 -19T298 -7Q233 141 97 213Q83 221 70 227T51 235T41 239T35 243T34 250T35 256T40 261T51 265T70 273T97 287Q235 363 299 509Q305 522 308 524ZM792 319L783 327H216Q183 294 120 256L110 250L120 244Q173 212 207 181L216 173H783L792 181Q826 212 879 244L889 250L879 256Q826 288 792 319Z",[],{"type":23,"tag":78,"props":3280,"children":3282},{"id":3281,"d":111},"MJX-17-TEX-N-2212",[],{"type":23,"tag":158,"props":3284,"children":3285},{"stroke":160,"fill":160,"stroke-width":161,"transform":162},[3286],{"type":23,"tag":158,"props":3287,"children":3288},{"dataMmlNode":166},[3289,3296,3304,3312,3321,3329,3337,3345,3354,3361,3368,3375,3382,3390,3397],{"type":23,"tag":158,"props":3290,"children":3291},{"dataMmlNode":602},[3292],{"type":23,"tag":177,"props":3293,"children":3295},{"dataC":607,"xLinkHref":3294},"#MJX-17-TEX-N-31",[],{"type":23,"tag":158,"props":3297,"children":3299},{"dataMmlNode":193,"transform":3298},"translate(777.8,0)",[3300],{"type":23,"tag":177,"props":3301,"children":3303},{"dataC":225,"xLinkHref":3302},"#MJX-17-TEX-N-3D",[],{"type":23,"tag":158,"props":3305,"children":3307},{"dataMmlNode":174,"transform":3306},"translate(1833.6,0)",[3308],{"type":23,"tag":177,"props":3309,"children":3311},{"dataC":660,"xLinkHref":3310},"#MJX-17-TEX-I-1D452",[],{"type":23,"tag":158,"props":3313,"children":3315},{"dataMmlNode":174,"transform":3314},"translate(2299.6,0)",[3316],{"type":23,"tag":177,"props":3317,"children":3320},{"dataC":3318,"xLinkHref":3319},"1D451","#MJX-17-TEX-I-1D451",[],{"type":23,"tag":158,"props":3322,"children":3324},{"dataMmlNode":193,"transform":3323},"translate(3041.8,0)",[3325],{"type":23,"tag":177,"props":3326,"children":3328},{"dataC":597,"xLinkHref":3327},"#MJX-17-TEX-N-2B",[],{"type":23,"tag":158,"props":3330,"children":3332},{"dataMmlNode":174,"transform":3331},"translate(4042,0)",[3333],{"type":23,"tag":177,"props":3334,"children":3336},{"dataC":3016,"xLinkHref":3335},"#MJX-17-TEX-I-1D458",[],{"type":23,"tag":158,"props":3338,"children":3340},{"dataMmlNode":174,"transform":3339},"translate(4563,0)",[3341],{"type":23,"tag":177,"props":3342,"children":3344},{"dataC":511,"xLinkHref":3343},"#MJX-17-TEX-I-1D459",[],{"type":23,"tag":158,"props":3346,"children":3348},{"dataMmlNode":193,"transform":3347},"translate(5138.8,0)",[3349],{"type":23,"tag":177,"props":3350,"children":3353},{"dataC":3351,"xLinkHref":3352},"21D4","#MJX-17-TEX-N-21D4",[],{"type":23,"tag":158,"props":3355,"children":3357},{"dataMmlNode":174,"transform":3356},"translate(6416.6,0)",[3358],{"type":23,"tag":177,"props":3359,"children":3360},{"dataC":660,"xLinkHref":3310},[],{"type":23,"tag":158,"props":3362,"children":3364},{"dataMmlNode":174,"transform":3363},"translate(6882.6,0)",[3365],{"type":23,"tag":177,"props":3366,"children":3367},{"dataC":3318,"xLinkHref":3319},[],{"type":23,"tag":158,"props":3369,"children":3371},{"dataMmlNode":193,"transform":3370},"translate(7680.3,0)",[3372],{"type":23,"tag":177,"props":3373,"children":3374},{"dataC":225,"xLinkHref":3302},[],{"type":23,"tag":158,"props":3376,"children":3378},{"dataMmlNode":602,"transform":3377},"translate(8736.1,0)",[3379],{"type":23,"tag":177,"props":3380,"children":3381},{"dataC":607,"xLinkHref":3294},[],{"type":23,"tag":158,"props":3383,"children":3385},{"dataMmlNode":193,"transform":3384},"translate(9458.3,0)",[3386],{"type":23,"tag":177,"props":3387,"children":3389},{"dataC":234,"xLinkHref":3388},"#MJX-17-TEX-N-2212",[],{"type":23,"tag":158,"props":3391,"children":3393},{"dataMmlNode":174,"transform":3392},"translate(10458.6,0)",[3394],{"type":23,"tag":177,"props":3395,"children":3396},{"dataC":3016,"xLinkHref":3335},[],{"type":23,"tag":158,"props":3398,"children":3400},{"dataMmlNode":174,"transform":3399},"translate(10979.6,0)",[3401],{"type":23,"tag":177,"props":3402,"children":3403},{"dataC":511,"xLinkHref":3343},[],{"type":23,"tag":1013,"props":3405,"children":3406},{},[],{"type":29,"value":3408},"Thus, we have: ",{"type":23,"tag":55,"props":3410,"children":3412},{"className":3411,"jax":59},[58],[3413],{"type":23,"tag":62,"props":3414,"children":3417},{"style":440,"xmlns":65,"width":3415,"height":442,"role":68,"focusable":69,"viewBox":3416,"xmlnsXLink":71},"14.851ex","0 -750 6564.2 1000",[3418,3456],{"type":23,"tag":74,"props":3419,"children":3420},{},[3421,3426,3430,3435,3439,3444,3448,3452],{"type":23,"tag":78,"props":3422,"children":3425},{"id":3423,"d":3424},"MJX-18-TEX-N-5B","M118 -250V750H255V710H158V-210H255V-250H118Z",[],{"type":23,"tag":78,"props":3427,"children":3429},{"id":3428,"d":498},"MJX-18-TEX-I-1D452",[],{"type":23,"tag":78,"props":3431,"children":3434},{"id":3432,"d":3433},"MJX-18-TEX-N-5D","M22 710V750H159V-250H22V-210H119V710H22Z",[],{"type":23,"tag":78,"props":3436,"children":3438},{"id":3437,"d":2969},"MJX-18-TEX-I-1D458",[],{"type":23,"tag":78,"props":3440,"children":3443},{"id":3441,"d":3442},"MJX-18-TEX-N-22C5","M78 250Q78 274 95 292T138 310Q162 310 180 294T199 251Q199 226 182 208T139 190T96 207T78 250Z",[],{"type":23,"tag":78,"props":3445,"children":3447},{"id":3446,"d":3260},"MJX-18-TEX-I-1D451",[],{"type":23,"tag":78,"props":3449,"children":3451},{"id":3450,"d":106},"MJX-18-TEX-N-3D",[],{"type":23,"tag":78,"props":3453,"children":3455},{"id":3454,"d":493},"MJX-18-TEX-N-31",[],{"type":23,"tag":158,"props":3457,"children":3458},{"stroke":160,"fill":160,"stroke-width":161,"transform":162},[3459],{"type":23,"tag":158,"props":3460,"children":3461},{"dataMmlNode":166},[3462,3470,3477,3497,3506,3513,3521,3537,3545,3552,3560],{"type":23,"tag":158,"props":3463,"children":3464},{"dataMmlNode":193},[3465],{"type":23,"tag":177,"props":3466,"children":3469},{"dataC":3467,"xLinkHref":3468},"5B","#MJX-18-TEX-N-5B",[],{"type":23,"tag":158,"props":3471,"children":3472},{"dataMmlNode":174,"transform":344},[3473],{"type":23,"tag":177,"props":3474,"children":3476},{"dataC":660,"xLinkHref":3475},"#MJX-18-TEX-I-1D452",[],{"type":23,"tag":158,"props":3478,"children":3480},{"dataMmlNode":170,"transform":3479},"translate(744,0)",[3481,3489],{"type":23,"tag":158,"props":3482,"children":3483},{"dataMmlNode":193},[3484],{"type":23,"tag":177,"props":3485,"children":3488},{"dataC":3486,"xLinkHref":3487},"5D","#MJX-18-TEX-N-5D",[],{"type":23,"tag":158,"props":3490,"children":3492},{"dataMmlNode":174,"transform":3491},"translate(311,-150) scale(0.707)",[3493],{"type":23,"tag":177,"props":3494,"children":3496},{"dataC":3016,"xLinkHref":3495},"#MJX-18-TEX-I-1D458",[],{"type":23,"tag":158,"props":3498,"children":3500},{"dataMmlNode":193,"transform":3499},"translate(1695.6,0)",[3501],{"type":23,"tag":177,"props":3502,"children":3505},{"dataC":3503,"xLinkHref":3504},"22C5","#MJX-18-TEX-N-22C5",[],{"type":23,"tag":158,"props":3507,"children":3509},{"dataMmlNode":193,"transform":3508},"translate(2195.8,0)",[3510],{"type":23,"tag":177,"props":3511,"children":3512},{"dataC":3467,"xLinkHref":3468},[],{"type":23,"tag":158,"props":3514,"children":3516},{"dataMmlNode":174,"transform":3515},"translate(2473.8,0)",[3517],{"type":23,"tag":177,"props":3518,"children":3520},{"dataC":3318,"xLinkHref":3519},"#MJX-18-TEX-I-1D451",[],{"type":23,"tag":158,"props":3522,"children":3524},{"dataMmlNode":170,"transform":3523},"translate(2993.8,0)",[3525,3531],{"type":23,"tag":158,"props":3526,"children":3527},{"dataMmlNode":193},[3528],{"type":23,"tag":177,"props":3529,"children":3530},{"dataC":3486,"xLinkHref":3487},[],{"type":23,"tag":158,"props":3532,"children":3533},{"dataMmlNode":174,"transform":3491},[3534],{"type":23,"tag":177,"props":3535,"children":3536},{"dataC":3016,"xLinkHref":3495},[],{"type":23,"tag":158,"props":3538,"children":3540},{"dataMmlNode":193,"transform":3539},"translate(4001,0)",[3541],{"type":23,"tag":177,"props":3542,"children":3544},{"dataC":225,"xLinkHref":3543},"#MJX-18-TEX-N-3D",[],{"type":23,"tag":158,"props":3546,"children":3548},{"dataMmlNode":193,"transform":3547},"translate(5056.8,0)",[3549],{"type":23,"tag":177,"props":3550,"children":3551},{"dataC":3467,"xLinkHref":3468},[],{"type":23,"tag":158,"props":3553,"children":3555},{"dataMmlNode":602,"transform":3554},"translate(5334.8,0)",[3556],{"type":23,"tag":177,"props":3557,"children":3559},{"dataC":607,"xLinkHref":3558},"#MJX-18-TEX-N-31",[],{"type":23,"tag":158,"props":3561,"children":3563},{"dataMmlNode":170,"transform":3562},"translate(5834.8,0)",[3564,3570],{"type":23,"tag":158,"props":3565,"children":3566},{"dataMmlNode":193},[3567],{"type":23,"tag":177,"props":3568,"children":3569},{"dataC":3486,"xLinkHref":3487},[],{"type":23,"tag":158,"props":3571,"children":3572},{"dataMmlNode":174,"transform":3491},[3573],{"type":23,"tag":177,"props":3574,"children":3575},{"dataC":3016,"xLinkHref":3495},[],{"type":29,"value":741},{"type":23,"tag":1013,"props":3578,"children":3579},{},[],{"type":29,"value":3581},"We keep ",{"type":23,"tag":2834,"props":3583,"children":3584},{},[3585],{"type":29,"value":3586},"d",{"type":29,"value":3588},", which is therefore the inverse of e modulo k.",{"type":23,"tag":2814,"props":3590,"children":3592},{"id":3591},"creation-of-keys",[3593],{"type":29,"value":3594},"Creation of keys:",{"type":23,"tag":2605,"props":3596,"children":3597},{},[3598,3608],{"type":23,"tag":2609,"props":3599,"children":3600},{},[3601,3606],{"type":23,"tag":2834,"props":3602,"children":3603},{},[3604],{"type":29,"value":3605},"(m, e)",{"type":29,"value":3607}," becomes Bob's public key",{"type":23,"tag":2609,"props":3609,"children":3610},{},[3611,3616],{"type":23,"tag":2834,"props":3612,"children":3613},{},[3614],{"type":29,"value":3615},"(m, d)",{"type":29,"value":3617}," becomes Bob's private key",{"type":23,"tag":2814,"props":3619,"children":3621},{"id":3620},"message-transmission",[3622],{"type":29,"value":3623},"Message transmission:",{"type":23,"tag":32,"props":3625,"children":3626},{},[3627,3629,3634,3636,3641],{"type":29,"value":3628},"Alice will send to Bob ",{"type":23,"tag":2834,"props":3630,"children":3631},{},[3632],{"type":29,"value":3633},"c",{"type":29,"value":3635}," (encrypted), the message corresponding to this transformation performed on his plaintext message ",{"type":23,"tag":2834,"props":3637,"children":3638},{},[3639],{"type":29,"value":3640},"t",{"type":29,"value":3642},":",{"type":23,"tag":32,"props":3644,"children":3645},{},[3646],{"type":23,"tag":55,"props":3647,"children":3649},{"className":3648,"jax":59},[58],[3650],{"type":23,"tag":62,"props":3651,"children":3656},{"style":3652,"xmlns":65,"width":3653,"height":3654,"role":68,"focusable":69,"viewBox":3655,"xmlnsXLink":71},"vertical-align: -0.576ex;","7.664ex","2.273ex","0 -750 3387.4 1004.8",[3657,3690],{"type":23,"tag":74,"props":3658,"children":3659},{},[3660,3665,3669,3673,3678,3682,3686],{"type":23,"tag":78,"props":3661,"children":3664},{"id":3662,"d":3663},"MJX-19-TEX-I-1D450","M34 159Q34 268 120 355T306 442Q362 442 394 418T427 355Q427 326 408 306T360 285Q341 285 330 295T319 325T330 359T352 380T366 386H367Q367 388 361 392T340 400T306 404Q276 404 249 390Q228 381 206 359Q162 315 142 235T121 119Q121 73 147 50Q169 26 205 26H209Q321 26 394 111Q403 121 406 121Q410 121 419 112T429 98T420 83T391 55T346 25T282 0T202 -11Q127 -11 81 37T34 159Z",[],{"type":23,"tag":78,"props":3666,"children":3668},{"id":3667,"d":106},"MJX-19-TEX-N-3D",[],{"type":23,"tag":78,"props":3670,"children":3672},{"id":3671,"d":3424},"MJX-19-TEX-N-5B",[],{"type":23,"tag":78,"props":3674,"children":3677},{"id":3675,"d":3676},"MJX-19-TEX-I-1D461","M26 385Q19 392 19 395Q19 399 22 411T27 425Q29 430 36 430T87 431H140L159 511Q162 522 166 540T173 566T179 586T187 603T197 615T211 624T229 626Q247 625 254 615T261 596Q261 589 252 549T232 470L222 433Q222 431 272 431H323Q330 424 330 420Q330 398 317 385H210L174 240Q135 80 135 68Q135 26 162 26Q197 26 230 60T283 144Q285 150 288 151T303 153H307Q322 153 322 145Q322 142 319 133Q314 117 301 95T267 48T216 6T155 -11Q125 -11 98 4T59 56Q57 64 57 83V101L92 241Q127 382 128 383Q128 385 77 385H26Z",[],{"type":23,"tag":78,"props":3679,"children":3681},{"id":3680,"d":3433},"MJX-19-TEX-N-5D",[],{"type":23,"tag":78,"props":3683,"children":3685},{"id":3684,"d":498},"MJX-19-TEX-I-1D452",[],{"type":23,"tag":78,"props":3687,"children":3689},{"id":3688,"d":2883},"MJX-19-TEX-I-1D45A",[],{"type":23,"tag":158,"props":3691,"children":3692},{"stroke":160,"fill":160,"stroke-width":161,"transform":162},[3693],{"type":23,"tag":158,"props":3694,"children":3695},{"dataMmlNode":166},[3696,3704,3712,3720,3729],{"type":23,"tag":158,"props":3697,"children":3698},{"dataMmlNode":174},[3699],{"type":23,"tag":177,"props":3700,"children":3703},{"dataC":3701,"xLinkHref":3702},"1D450","#MJX-19-TEX-I-1D450",[],{"type":23,"tag":158,"props":3705,"children":3707},{"dataMmlNode":193,"transform":3706},"translate(710.8,0)",[3708],{"type":23,"tag":177,"props":3709,"children":3711},{"dataC":225,"xLinkHref":3710},"#MJX-19-TEX-N-3D",[],{"type":23,"tag":158,"props":3713,"children":3715},{"dataMmlNode":193,"transform":3714},"translate(1766.6,0)",[3716],{"type":23,"tag":177,"props":3717,"children":3719},{"dataC":3467,"xLinkHref":3718},"#MJX-19-TEX-N-5B",[],{"type":23,"tag":158,"props":3721,"children":3723},{"dataMmlNode":174,"transform":3722},"translate(2044.6,0)",[3724],{"type":23,"tag":177,"props":3725,"children":3728},{"dataC":3726,"xLinkHref":3727},"1D461","#MJX-19-TEX-I-1D461",[],{"type":23,"tag":158,"props":3730,"children":3733},{"dataMmlNode":3731,"transform":3732},"msubsup","translate(2405.6,0)",[3734,3741,3749],{"type":23,"tag":158,"props":3735,"children":3736},{"dataMmlNode":193},[3737],{"type":23,"tag":177,"props":3738,"children":3740},{"dataC":3486,"xLinkHref":3739},"#MJX-19-TEX-N-5D",[],{"type":23,"tag":158,"props":3742,"children":3744},{"dataMmlNode":174,"transform":3743},"translate(311,363) scale(0.707)",[3745],{"type":23,"tag":177,"props":3746,"children":3748},{"dataC":660,"xLinkHref":3747},"#MJX-19-TEX-I-1D452",[],{"type":23,"tag":158,"props":3750,"children":3752},{"dataMmlNode":174,"transform":3751},"translate(311,-247) scale(0.707)",[3753],{"type":23,"tag":177,"props":3754,"children":3756},{"dataC":2920,"xLinkHref":3755},"#MJX-19-TEX-I-1D45A",[],{"type":23,"tag":32,"props":3758,"children":3759},{},[3760],{"type":29,"value":3761},"Therefore, Alice used the elements of Bob's public key.",{"type":23,"tag":32,"props":3763,"children":3764},{},[3765,3767,3867],{"type":29,"value":3766},"Bob receives ",{"type":23,"tag":676,"props":3768,"children":3770},{"className":3769},[679],[3771],{"type":23,"tag":55,"props":3772,"children":3774},{"className":3773,"jax":59},[58],[3775],{"type":23,"tag":62,"props":3776,"children":3777},{"style":3652,"xmlns":65,"width":3653,"height":3654,"role":68,"focusable":69,"viewBox":3655,"xmlnsXLink":71},[3778,3809],{"type":23,"tag":74,"props":3779,"children":3780},{},[3781,3785,3789,3793,3797,3801,3805],{"type":23,"tag":78,"props":3782,"children":3784},{"id":3783,"d":3663},"MJX-20-TEX-I-1D450",[],{"type":23,"tag":78,"props":3786,"children":3788},{"id":3787,"d":106},"MJX-20-TEX-N-3D",[],{"type":23,"tag":78,"props":3790,"children":3792},{"id":3791,"d":3424},"MJX-20-TEX-N-5B",[],{"type":23,"tag":78,"props":3794,"children":3796},{"id":3795,"d":3676},"MJX-20-TEX-I-1D461",[],{"type":23,"tag":78,"props":3798,"children":3800},{"id":3799,"d":3433},"MJX-20-TEX-N-5D",[],{"type":23,"tag":78,"props":3802,"children":3804},{"id":3803,"d":498},"MJX-20-TEX-I-1D452",[],{"type":23,"tag":78,"props":3806,"children":3808},{"id":3807,"d":2883},"MJX-20-TEX-I-1D45A",[],{"type":23,"tag":158,"props":3810,"children":3811},{"stroke":160,"fill":160,"stroke-width":161,"transform":162},[3812],{"type":23,"tag":158,"props":3813,"children":3814},{"dataMmlNode":166},[3815,3822,3829,3836,3843],{"type":23,"tag":158,"props":3816,"children":3817},{"dataMmlNode":174},[3818],{"type":23,"tag":177,"props":3819,"children":3821},{"dataC":3701,"xLinkHref":3820},"#MJX-20-TEX-I-1D450",[],{"type":23,"tag":158,"props":3823,"children":3824},{"dataMmlNode":193,"transform":3706},[3825],{"type":23,"tag":177,"props":3826,"children":3828},{"dataC":225,"xLinkHref":3827},"#MJX-20-TEX-N-3D",[],{"type":23,"tag":158,"props":3830,"children":3831},{"dataMmlNode":193,"transform":3714},[3832],{"type":23,"tag":177,"props":3833,"children":3835},{"dataC":3467,"xLinkHref":3834},"#MJX-20-TEX-N-5B",[],{"type":23,"tag":158,"props":3837,"children":3838},{"dataMmlNode":174,"transform":3722},[3839],{"type":23,"tag":177,"props":3840,"children":3842},{"dataC":3726,"xLinkHref":3841},"#MJX-20-TEX-I-1D461",[],{"type":23,"tag":158,"props":3844,"children":3845},{"dataMmlNode":3731,"transform":3732},[3846,3853,3860],{"type":23,"tag":158,"props":3847,"children":3848},{"dataMmlNode":193},[3849],{"type":23,"tag":177,"props":3850,"children":3852},{"dataC":3486,"xLinkHref":3851},"#MJX-20-TEX-N-5D",[],{"type":23,"tag":158,"props":3854,"children":3855},{"dataMmlNode":174,"transform":3743},[3856],{"type":23,"tag":177,"props":3857,"children":3859},{"dataC":660,"xLinkHref":3858},"#MJX-20-TEX-I-1D452",[],{"type":23,"tag":158,"props":3861,"children":3862},{"dataMmlNode":174,"transform":3751},[3863],{"type":23,"tag":177,"props":3864,"children":3866},{"dataC":2920,"xLinkHref":3865},"#MJX-20-TEX-I-1D45A",[],{"type":29,"value":3868}," and decrypts this message using the following relation:",{"type":23,"tag":32,"props":3870,"children":3871},{},[3872],{"type":23,"tag":55,"props":3873,"children":3875},{"className":3874,"jax":59},[58],[3876],{"type":23,"tag":62,"props":3877,"children":3881},{"style":3652,"xmlns":65,"width":3878,"height":3879,"role":68,"focusable":69,"viewBox":3880,"xmlnsXLink":71},"24.175ex","2.508ex","0 -853.7 10685.2 1108.5",[3882,3933],{"type":23,"tag":74,"props":3883,"children":3884},{},[3885,3889,3893,3897,3901,3905,3909,3913,3917,3921,3925,3929],{"type":23,"tag":78,"props":3886,"children":3888},{"id":3887,"d":3663},"MJX-21-TEX-I-1D450",[],{"type":23,"tag":78,"props":3890,"children":3892},{"id":3891,"d":3260},"MJX-21-TEX-I-1D451",[],{"type":23,"tag":78,"props":3894,"children":3896},{"id":3895,"d":106},"MJX-21-TEX-N-3D",[],{"type":23,"tag":78,"props":3898,"children":3900},{"id":3899,"d":3424},"MJX-21-TEX-N-5B",[],{"type":23,"tag":78,"props":3902,"children":3904},{"id":3903,"d":3676},"MJX-21-TEX-I-1D461",[],{"type":23,"tag":78,"props":3906,"children":3908},{"id":3907,"d":3433},"MJX-21-TEX-N-5D",[],{"type":23,"tag":78,"props":3910,"children":3912},{"id":3911,"d":498},"MJX-21-TEX-I-1D452",[],{"type":23,"tag":78,"props":3914,"children":3916},{"id":3915,"d":2883},"MJX-21-TEX-I-1D45A",[],{"type":23,"tag":78,"props":3918,"children":3920},{"id":3919,"d":493},"MJX-21-TEX-N-31",[],{"type":23,"tag":78,"props":3922,"children":3924},{"id":3923,"d":111},"MJX-21-TEX-N-2212",[],{"type":23,"tag":78,"props":3926,"children":3928},{"id":3927,"d":2969},"MJX-21-TEX-I-1D458",[],{"type":23,"tag":78,"props":3930,"children":3932},{"id":3931,"d":451},"MJX-21-TEX-I-1D459",[],{"type":23,"tag":158,"props":3934,"children":3935},{"stroke":160,"fill":160,"stroke-width":161,"transform":162},[3936],{"type":23,"tag":158,"props":3937,"children":3938},{"dataMmlNode":166},[3939,3957,3965,3973,3981,4016,4023,4030,4037,4087,4094,4101,4108],{"type":23,"tag":158,"props":3940,"children":3941},{"dataMmlNode":2094},[3942,3949],{"type":23,"tag":158,"props":3943,"children":3944},{"dataMmlNode":174},[3945],{"type":23,"tag":177,"props":3946,"children":3948},{"dataC":3701,"xLinkHref":3947},"#MJX-21-TEX-I-1D450",[],{"type":23,"tag":158,"props":3950,"children":3952},{"dataMmlNode":174,"transform":3951},"translate(466,363) scale(0.707)",[3953],{"type":23,"tag":177,"props":3954,"children":3956},{"dataC":3318,"xLinkHref":3955},"#MJX-21-TEX-I-1D451",[],{"type":23,"tag":158,"props":3958,"children":3960},{"dataMmlNode":193,"transform":3959},"translate(1161.5,0)",[3961],{"type":23,"tag":177,"props":3962,"children":3964},{"dataC":225,"xLinkHref":3963},"#MJX-21-TEX-N-3D",[],{"type":23,"tag":158,"props":3966,"children":3968},{"dataMmlNode":193,"transform":3967},"translate(2217.3,0)",[3969],{"type":23,"tag":177,"props":3970,"children":3972},{"dataC":3467,"xLinkHref":3971},"#MJX-21-TEX-N-5B",[],{"type":23,"tag":158,"props":3974,"children":3976},{"dataMmlNode":174,"transform":3975},"translate(2495.3,0)",[3977],{"type":23,"tag":177,"props":3978,"children":3980},{"dataC":3726,"xLinkHref":3979},"#MJX-21-TEX-I-1D461",[],{"type":23,"tag":158,"props":3982,"children":3984},{"dataMmlNode":3731,"transform":3983},"translate(2856.3,0)",[3985,3992,4009],{"type":23,"tag":158,"props":3986,"children":3987},{"dataMmlNode":193},[3988],{"type":23,"tag":177,"props":3989,"children":3991},{"dataC":3486,"xLinkHref":3990},"#MJX-21-TEX-N-5D",[],{"type":23,"tag":158,"props":3993,"children":3994},{"dataMmlNode":252,"transform":3743,"dataMjxTexclass":254},[3995,4002],{"type":23,"tag":158,"props":3996,"children":3997},{"dataMmlNode":174},[3998],{"type":23,"tag":177,"props":3999,"children":4001},{"dataC":660,"xLinkHref":4000},"#MJX-21-TEX-I-1D452",[],{"type":23,"tag":158,"props":4003,"children":4005},{"dataMmlNode":174,"transform":4004},"translate(466,0)",[4006],{"type":23,"tag":177,"props":4007,"children":4008},{"dataC":3318,"xLinkHref":3955},[],{"type":23,"tag":158,"props":4010,"children":4011},{"dataMmlNode":174,"transform":3751},[4012],{"type":23,"tag":177,"props":4013,"children":4015},{"dataC":2920,"xLinkHref":4014},"#MJX-21-TEX-I-1D45A",[],{"type":23,"tag":158,"props":4017,"children":4019},{"dataMmlNode":193,"transform":4018},"translate(4192.2,0)",[4020],{"type":23,"tag":177,"props":4021,"children":4022},{"dataC":225,"xLinkHref":3963},[],{"type":23,"tag":158,"props":4024,"children":4026},{"dataMmlNode":193,"transform":4025},"translate(5248,0)",[4027],{"type":23,"tag":177,"props":4028,"children":4029},{"dataC":3467,"xLinkHref":3971},[],{"type":23,"tag":158,"props":4031,"children":4033},{"dataMmlNode":174,"transform":4032},"translate(5526,0)",[4034],{"type":23,"tag":177,"props":4035,"children":4036},{"dataC":3726,"xLinkHref":3979},[],{"type":23,"tag":158,"props":4038,"children":4040},{"dataMmlNode":3731,"transform":4039},"translate(5887,0)",[4041,4047,4081],{"type":23,"tag":158,"props":4042,"children":4043},{"dataMmlNode":193},[4044],{"type":23,"tag":177,"props":4045,"children":4046},{"dataC":3486,"xLinkHref":3990},[],{"type":23,"tag":158,"props":4048,"children":4049},{"dataMmlNode":252,"transform":3743,"dataMjxTexclass":254},[4050,4057,4065,4073],{"type":23,"tag":158,"props":4051,"children":4052},{"dataMmlNode":602},[4053],{"type":23,"tag":177,"props":4054,"children":4056},{"dataC":607,"xLinkHref":4055},"#MJX-21-TEX-N-31",[],{"type":23,"tag":158,"props":4058,"children":4060},{"dataMmlNode":193,"transform":4059},"translate(500,0)",[4061],{"type":23,"tag":177,"props":4062,"children":4064},{"dataC":234,"xLinkHref":4063},"#MJX-21-TEX-N-2212",[],{"type":23,"tag":158,"props":4066,"children":4068},{"dataMmlNode":174,"transform":4067},"translate(1278,0)",[4069],{"type":23,"tag":177,"props":4070,"children":4072},{"dataC":3016,"xLinkHref":4071},"#MJX-21-TEX-I-1D458",[],{"type":23,"tag":158,"props":4074,"children":4076},{"dataMmlNode":174,"transform":4075},"translate(1799,0)",[4077],{"type":23,"tag":177,"props":4078,"children":4080},{"dataC":511,"xLinkHref":4079},"#MJX-21-TEX-I-1D459",[],{"type":23,"tag":158,"props":4082,"children":4083},{"dataMmlNode":174,"transform":3751},[4084],{"type":23,"tag":177,"props":4085,"children":4086},{"dataC":2920,"xLinkHref":4014},[],{"type":23,"tag":158,"props":4088,"children":4090},{"dataMmlNode":193,"transform":4089},"translate(8008.6,0)",[4091],{"type":23,"tag":177,"props":4092,"children":4093},{"dataC":225,"xLinkHref":3963},[],{"type":23,"tag":158,"props":4095,"children":4097},{"dataMmlNode":193,"transform":4096},"translate(9064.4,0)",[4098],{"type":23,"tag":177,"props":4099,"children":4100},{"dataC":3467,"xLinkHref":3971},[],{"type":23,"tag":158,"props":4102,"children":4104},{"dataMmlNode":174,"transform":4103},"translate(9342.4,0)",[4105],{"type":23,"tag":177,"props":4106,"children":4107},{"dataC":3726,"xLinkHref":3979},[],{"type":23,"tag":158,"props":4109,"children":4111},{"dataMmlNode":170,"transform":4110},"translate(9703.4,0)",[4112,4118],{"type":23,"tag":158,"props":4113,"children":4114},{"dataMmlNode":193},[4115],{"type":23,"tag":177,"props":4116,"children":4117},{"dataC":3486,"xLinkHref":3990},[],{"type":23,"tag":158,"props":4119,"children":4120},{"dataMmlNode":174,"transform":3491},[4121],{"type":23,"tag":177,"props":4122,"children":4123},{"dataC":2920,"xLinkHref":4014},[],{"type":23,"tag":32,"props":4125,"children":4126},{},[4127],{"type":29,"value":4128},"Thus, Bob correctly retrieves the message from Alice.",{"type":23,"tag":4130,"props":4131,"children":4134},"section",{"className":4132,"dataFootnotes":7},[4133],"footnotes",[4135,4142],{"type":23,"tag":24,"props":4136,"children":4139},{"className":4137,"id":46},[4138],"sr-only",[4140],{"type":29,"value":4141},"Footnotes",{"type":23,"tag":4143,"props":4144,"children":4145},"ol",{},[4146],{"type":23,"tag":2609,"props":4147,"children":4149},{"id":4148},"user-content-fn-1",[4150,4152],{"type":29,"value":4151},"Claude Elwood Shannon (April 30, 1916 in Petoskey, Michigan - February 24, 2001 in Medford, Massachusetts) was an American electrical engineer and mathematician. He is one of the fathers, if not the founding father, of information theory. ",{"type":23,"tag":42,"props":4153,"children":4158},{"href":4154,"ariaLabel":4155,"className":4156,"dataFootnoteBackref":7},"#user-content-fnref-1","Back to reference 1",[4157],"data-footnote-backref",[4159],{"type":29,"value":4160},"↩",{"type":23,"tag":4162,"props":4163,"children":4164},"style",{},[4165],{"type":29,"value":4166},"\nmjx-container[jax=\"SVG\"] {\n  direction: ltr;\n}\n\nmjx-container[jax=\"SVG\"] > svg {\n  overflow: visible;\n  min-height: 1px;\n  min-width: 1px;\n}\n\nmjx-container[jax=\"SVG\"] > svg a {\n  fill: blue;\n  stroke: blue;\n}\n\nmjx-container[jax=\"SVG\"][display=\"true\"] {\n  display: block;\n  text-align: center;\n  margin: 1em 0;\n}\n\nmjx-container[jax=\"SVG\"][display=\"true\"][width=\"full\"] {\n  display: flex;\n}\n\nmjx-container[jax=\"SVG\"][justify=\"left\"] {\n  text-align: left;\n}\n\nmjx-container[jax=\"SVG\"][justify=\"right\"] {\n  text-align: right;\n}\n\ng[data-mml-node=\"merror\"] > g {\n  fill: red;\n  stroke: red;\n}\n\ng[data-mml-node=\"merror\"] > rect[data-background] {\n  fill: yellow;\n  stroke: none;\n}\n\ng[data-mml-node=\"mtable\"] > line[data-line], svg[data-table] > g > line[data-line] {\n  stroke-width: 70px;\n  fill: none;\n}\n\ng[data-mml-node=\"mtable\"] > rect[data-frame], svg[data-table] > g > rect[data-frame] {\n  stroke-width: 70px;\n  fill: none;\n}\n\ng[data-mml-node=\"mtable\"] > .mjx-dashed, svg[data-table] > g > .mjx-dashed {\n  stroke-dasharray: 140;\n}\n\ng[data-mml-node=\"mtable\"] > .mjx-dotted, svg[data-table] > g > .mjx-dotted {\n  stroke-linecap: round;\n  stroke-dasharray: 0,140;\n}\n\ng[data-mml-node=\"mtable\"] > g > svg {\n  overflow: visible;\n}\n\n[jax=\"SVG\"] mjx-tool {\n  display: inline-block;\n  position: relative;\n  width: 0;\n  height: 0;\n}\n\n[jax=\"SVG\"] mjx-tool > mjx-tip {\n  position: absolute;\n  top: 0;\n  left: 0;\n}\n\nmjx-tool > mjx-tip {\n  display: inline-block;\n  padding: .2em;\n  border: 1px solid #888;\n  font-size: 70%;\n  background-color: #F8F8F8;\n  color: black;\n  box-shadow: 2px 2px 5px #AAAAAA;\n}\n\ng[data-mml-node=\"maction\"][data-toggle] {\n  cursor: pointer;\n}\n\nmjx-status {\n  display: block;\n  position: fixed;\n  left: 1em;\n  bottom: 1em;\n  min-width: 25%;\n  padding: .2em .4em;\n  border: 1px solid #888;\n  font-size: 90%;\n  background-color: #F8F8F8;\n  color: black;\n}\n\nforeignObject[data-mjx-xml] {\n  font-family: initial;\n  line-height: normal;\n  overflow: visible;\n}\n\nmjx-container[jax=\"SVG\"] path[data-c], mjx-container[jax=\"SVG\"] use[data-c] {\n  stroke-width: 3;\n}\n",{"title":7,"searchDepth":4168,"depth":4168,"links":4169},5,[4170,4172,4185],{"id":26,"depth":4171,"text":30},2,{"id":12,"depth":4171,"text":2339,"children":4173},[4174,4176,4177],{"id":2343,"depth":4175,"text":2346},3,{"id":2595,"depth":4175,"text":2598},{"id":2763,"depth":4175,"text":2766,"children":4178},[4179],{"id":2792,"depth":4180,"text":2795,"children":4181},4,[4182,4183,4184],{"id":2816,"depth":4168,"text":2819},{"id":3591,"depth":4168,"text":3594},{"id":3620,"depth":4168,"text":3623},{"id":46,"depth":4171,"text":4141},"markdown","content:en:notes:information-theory.md","content","en/notes/information-theory.md","en/notes/information-theory","md",1772016973135]