Теорема

<?xml version="1.0" encoding="utf-8"?> <svg fill="#000000" width="800px" height="800px" viewBox="0 0 1000 1000" xmlns="http://www.w3.org/2000/svg"><path d="M399 589q-1 1-7-8-13-18-21-24-27-18-54-17-23 1-32 12l-1 1q-1 0-3-3-6-12-16-21.5T245 515q-7-2-17-3-20 0-29 16l-1 2q-3 0-14-10t-15-17q-3-4-2.5-16.5T164 468q-6-18-28-37-3-3-4-7l7 2q8 3 14 7t15.5 13.5T184 460q10 7 17.5 10.5t9.5 1.5 2-8-2.5-10.5-11.5-14-13-15.5q-7-10-7-20t9-29.5 9-29.5q1-20-8-37-5-12-11-17.5t-9-12.5l6 3q9 4 16 9 9 7 21 20 14 14 23 28 6 9 7 20 1 7 0 19.5t0 19.5q2 15 10.5 30.5T270 447q12 5 24 4 4 0 8 2l4 2-6 3q-5 3-6 7-5 17 20 42 8 8 15 11 5 3 13 5 13 3 23.5 11t16.5 16q4 5 8 13l2 3q4 8 6 15.5t1 7.5zm77-464q-7 8-13 15l-3 3q-43 42-41 85 1 34 14 64 12 28 31 46 38 35 40 60 2 17-1 36l-3-3q-3-2-6-1t-11.5 9-12 15-6 18.5T462 486t-1 7l-1 3-2-8q-2-9-6-15-2-2-9-11-23-27-25.5-41t5.5-38q4-13 4-18 0-13-6-23-2-4-5-6l2 7q1 8 2 14 0 12-13 32.5T396 430q1 15 9 33 9 21 24 40 26 34 41 85v1q2 8 0 14-1 3-2 5l-2-5q-2-6-5.5-12.5t-16.5-22-26-29-28-22.5-27-12q-25-6-34-19-5-6-7.5-17t-.5-16l3-7q10-17 10-29 0-25-8-44-5-10-14-23l-11-16 4 1q6 2 11 7l7 5q20 17 27 30 9 19 10 34l1-4q2-6 3.5-11.5T366 373q-1-20-4-33.5T347 301t-22-37q-14-19-36-37l9 2q10 4 23 11 19 10 27 16 11 7 21 18 5 5 11 16l5 11v-5q0-5-.5-8t-5.5-13.5-6-13.5q-2-8 0-20 3-15 12-29 22-35 45-55 26-24 46-32zm81 271q-2 2-5 4-6 6-13 14-14 17-25 34-5 6-10 18t-5 14l2 2q10 7 11 18 1 7-4.5 13.5t-11 6.5-8.5-5q-2-3-3-6-2 1-6 9t-4 20q0 17 14 36l18 25 1-4q1-5 0-7t-3-5q-4-7-4-14-1-14 8-26 3-5 7.5-8t7.5-1 2 10l-4 8 4-1q4-2 8-6 14-14 16-32t-8-28q-16-16-14-28 1-9 6-20 4-10 9-17l3-5q11-15 11-19zm4 58q8-5 15-9 16-11 24-19l15-14q18-19 25-27 12-14 16-29 2-7 2-23v-9l2 3q2 3 2 7 3 14 2 25-1 9-6.5 21.5T644 404t-21 25-18 16l-12 7 3 4q3 5 3 10 0 20-13 29-17 13-19.5 17t-3.5 7l1 4 8-6q5-3 10 1 1 2 1 6.5t-2 7.5l-18 22q-7 10-10 23-2 9-2 18l1 7 3-10q4-11 9-18 19-26 39-37 10-5 23-10l12-3 2-11q3-13 9-21 8-11 18.5-17t19.5-6l5-1q13-1 17-2t12-6q9-6 15-13 8-10 12-22 3-5 3-9l-6 6q-6 7-10 9-6 4-26 5l-8 1q-7 2-14 7l-8 6v-2q0-3 2-5 2-6 8-12 8-10 17-14 22-10 32-21 7-8 9-18 2-6 2.5-17t1.5-16q5-24 28-43 12-11 29-19 9-4 14-6h-5q-7-1-10-1-16 2-36 10-24 10-40 29l-2 3q-6 7-10 10-7 5-13 3-14-4-14-24v-14q1-16 .5-23.5T684 246t-17-29q-17-24-30-36-9-9-21-16l-10-5 2 4q3 4 7 8 14 13 20 26 9 21 9 48 0 32-16 54-8 10-24.5 26T586 347q-1 11 4 25 4 9 3 20l-1 2q-2 16-8 25t-21 32zm73 104l6-12q7-14 14-21 18-18 48-31.5t42-34.5q3-5 9.5-12.5T762 434q4-8 6-18 2-16 1.5-30t-2.5-18l-5-8 4 3q5 4 9 9.5t8.5 18.5 6 26.5 0 26.5-4.5 18.5-7 11.5l-5 6h6q6 0 12-1h2q9-2 13-3 6-3 11-10l6-8q6-9 12-14 9-8 21-11 5-2 9-1l-10 8q-10 10-14 19l-4 11q-5 16-14 25-5 6-15 8-5 1-15 2h-5q-15 2-27 17-4 5-8 13l-3 7-6-4q-9-5-16-7.5t-21-3-23 2-21 8.5-15 9q-7 6-14 11zm133 130q-6-19-27-19-11 0-18 11-4 6-10 21-3 9-5.5 13.5t-8 7.5-10.5-1q-10-7-3-25 2-7 20-27l8-9q26-30 26-57 0-18-11.5-29.5T699 562q-31 0-46 21-1 1-2.5 1t-2.5-1l-3-4q-4-5-7-8-6-5-11.5-6t-7.5 1l3 4q3 5 2 10-2 11-34 25-22 9-52 13-17 2-44 2h-1q-27 0-44-2-30-4-52-13-32-14-33-25h-1q0-5 3-10l3-4q-3-2-8.5-1t-11.5 6q-3 3-7 8l-2 4q-1 1-3 1t-2-1q-16-21-46-21-18 0-29 11.5T249 603q0 28 25 57l8 9q18 20 21 27 6 19-3 25-5 4-10.5 1t-8-7.5T275 701q-5-15-9-21-8-11-18-11-22 0-28 19-4 10 0 18.5t8 8.5l1-6q1-6 4-10 5-5 12-5 4 0 7.5 4t5.5 9q6 19 14 27.5t14.5 11.5 15.5 3q12 0 16-6l1 8q2 10 5 17 8 19 22 29 6 5 17 10.5t17 9.5q13 8 21 18v9q0 4 8 10 10 7 28 12 22 7 55.5 7t57.5-7q17-5 27-12 8-6 8-10v-9l6-6q8-7 16-12 6-4 16.5-10t16.5-10q15-10 22-29 6-12 6-25l4 3q5 3 12 3 17 0 31-14 8-9 13-28 2-5 6-9t8-4q7 0 12 5.5t4 15.5q5 0 9-8.5t0-18.5zm-425 14q-6 8-13 11v-5q0-6-2-13-4-9-12-20l-5-5q-18-22-21.5-34.5t1-23T301 599q15-6 32 9 10 7 14 18 3 7 3 12.5t-2 9-5 3.5q-6 0-8-2.5t-2-5.5l-1-2q-5 0-4 12.5t12 16.5q5 2 10 0l1 4q0 6-2 12-2 8-7 16zm317 10l-4-2q-5-3-9-9-7-10-9-22-1-5 0-9l3 1q4 0 8-1 11-4 12-16.5t-5-12.5v2q-1 3-2.5 5.5T644 651q-3 0-4.5-3.5t-1.5-9 3-12.5q4-11 13-18 18-15 32-9 7 3 11.5 13.5t1.5 23-21 34.5l-5 5q-8 11-12 20-3 7-3 13z"/></svg>