%PDF-1.5
%
1 0 obj
<<
/Type /Catalog
/Pages 2 0 R
/Outlines 3 0 R
/Names 4 0 R
/PageMode /UseOutlines
/PageLabels <<
/Nums [0 5 0 R 1 6 0 R]
>>
/AcroForm 7 0 R
/OpenAction 8 0 R
/Metadata 9 0 R
>>
endobj
10 0 obj
<<
/Author ()
/Title ()
/Subject ()
/Creator (LaTeX with hyperref package)
/Producer (pdfTeX-1.40.14)
/Keywords ()
/CreationDate (D:20141209152215+05'30')
/ModDate (D:20220412204232+00'00')
/Trapped /False
/PTEX.Fullbanner (This is pdfTeX, Version 3.1415926-2.5-1.40.14 \(TeX Live 2013\) kpathsea version 6.1.1)
>>
endobj
2 0 obj
<<
/Type /Pages
/Count 20
/Kids [11 0 R 12 0 R 13 0 R 14 0 R]
>>
endobj
3 0 obj
<<
/Type /Outlines
/First 15 0 R
/Last 16 0 R
/Count 11
>>
endobj
4 0 obj
<<
/Dests 17 0 R
/JavaScript 18 0 R
>>
endobj
5 0 obj
<<
/S /D
/St 2054
>>
endobj
6 0 obj
<<
/S /D
/St 2054
>>
endobj
7 0 obj
<<
/Fields []
/DR <<
/Font <<
/ZaDb 19 0 R
/Helv 20 0 R
>>
>>
/DA (/Helv 10 Tf 0 g)
/NeedAppearances true
>>
endobj
8 0 obj
<<
/S /GoTo
/D [21 0 R /FitH]
>>
endobj
9 0 obj
<<
/Type /Metadata
/Subtype /XML
/Length 934
>>
stream
Not for further distribution unless allowed by the License or with the express written permission of Cambridge University Press.
https://doi.org/10.1112/S0010437X14007581
https://doi.org/10.1112/S0010437X14007581 Published online by Cambridge University Press
2022-04-12T20:42:32+00:00
endstream
endobj
11 0 obj
<<
/Type /Pages
/Count 6
/Parent 2 0 R
/Kids [21 0 R 22 0 R 23 0 R 24 0 R 25 0 R 26 0 R]
>>
endobj
12 0 obj
<<
/Type /Pages
/Count 6
/Parent 2 0 R
/Kids [27 0 R 28 0 R 29 0 R 30 0 R 31 0 R 32 0 R]
>>
endobj
13 0 obj
<<
/Type /Pages
/Count 6
/Parent 2 0 R
/Kids [33 0 R 34 0 R 35 0 R 36 0 R 37 0 R 38 0 R]
>>
endobj
14 0 obj
<<
/Type /Pages
/Count 2
/Parent 2 0 R
/Kids [39 0 R 40 0 R]
>>
endobj
15 0 obj
<<
/Title
/A 41 0 R
/Parent 3 0 R
/Next 42 0 R
>>
endobj
16 0 obj
<<
/Title
/A 43 0 R
/Parent 3 0 R
/Prev 44 0 R
>>
endobj
17 0 obj
<<
/Kids [45 0 R 46 0 R 47 0 R 48 0 R]
/Limits [(Doc-Start) (theorem.9.4)]
>>
endobj
18 0 obj
<<
/Names [(01 DLJS for Tooltips) 49 0 R]
>>
endobj
19 0 obj
<<
/Type /Font
/Subtype /Type1
/Name /ZaDb
/BaseFont /ZapfDingbats
>>
endobj
20 0 obj
<<
/Type /Font
/Subtype /Type1
/Name /Helv
/BaseFont /Helvetica
/Encoding 50 0 R
>>
endobj
21 0 obj
<<
/Type /Page
/Contents [51 0 R 52 0 R 53 0 R]
/Resources 54 0 R
/MediaBox [0 0 595.44 793.44]
/AA <<
/O <<
/S /JavaScript
/JS ( var DirtyBeforeCloseTooltip=this.dirty; CloseTooltips\(\); this.dirty=DirtyBeforeCloseTooltip; )
>>
>>
/Parent 11 0 R
/Annots [55 0 R 56 0 R 57 0 R 58 0 R 59 0 R 60 0 R 61 0 R 62 0 R 63 0 R 64 0 R
65 0 R 66 0 R 67 0 R 68 0 R 69 0 R 70 0 R 71 0 R 72 0 R 73 0 R 74 0 R
75 0 R 76 0 R 77 0 R 78 0 R 79 0 R 80 0 R 81 0 R 82 0 R 83 0 R 84 0 R
85 0 R 86 0 R]
>>
endobj
22 0 obj
<<
/Type /Page
/Contents [87 0 R 88 0 R 89 0 R]
/Resources 90 0 R
/MediaBox [0 0 595.44 793.44]
/AA <<
/O <<
/S /JavaScript
/JS ( var DirtyBeforeCloseTooltip=this.dirty; CloseTooltips\(\); this.dirty=DirtyBeforeCloseTooltip; )
>>
>>
/Parent 11 0 R
/Annots [91 0 R 92 0 R 93 0 R 94 0 R 95 0 R 96 0 R 97 0 R 98 0 R 99 0 R 100 0 R
101 0 R 102 0 R]
>>
endobj
23 0 obj
<<
/Type /Page
/Contents [103 0 R 104 0 R 105 0 R]
/Resources 106 0 R
/MediaBox [0 0 595.44 793.44]
/AA <<
/O <<
/S /JavaScript
/JS ( var DirtyBeforeCloseTooltip=this.dirty; CloseTooltips\(\); this.dirty=DirtyBeforeCloseTooltip; )
>>
>>
/Parent 11 0 R
/Annots [107 0 R 108 0 R 109 0 R 110 0 R 111 0 R 112 0 R 113 0 R 114 0 R 115 0 R 116 0 R
117 0 R 118 0 R 119 0 R 120 0 R 121 0 R 122 0 R 123 0 R 124 0 R 125 0 R]
>>
endobj
24 0 obj
<<
/Type /Page
/Contents [126 0 R 127 0 R 128 0 R]
/Resources 129 0 R
/MediaBox [0 0 595.44 793.44]
/AA <<
/O <<
/S /JavaScript
/JS ( var DirtyBeforeCloseTooltip=this.dirty; CloseTooltips\(\); this.dirty=DirtyBeforeCloseTooltip; )
>>
>>
/Parent 11 0 R
/Annots [130 0 R 131 0 R 132 0 R 133 0 R 134 0 R 135 0 R 136 0 R 137 0 R 138 0 R 139 0 R
140 0 R 141 0 R 142 0 R 143 0 R 144 0 R 145 0 R 146 0 R 147 0 R 148 0 R 149 0 R
150 0 R 151 0 R 152 0 R 153 0 R 154 0 R 155 0 R 156 0 R 157 0 R 158 0 R]
>>
endobj
25 0 obj
<<
/Type /Page
/Contents [159 0 R 160 0 R 161 0 R]
/Resources 162 0 R
/MediaBox [0 0 595.44 793.44]
/AA <<
/O <<
/S /JavaScript
/JS ( var DirtyBeforeCloseTooltip=this.dirty; CloseTooltips\(\); this.dirty=DirtyBeforeCloseTooltip; )
>>
>>
/Parent 11 0 R
/Annots [163 0 R 164 0 R 165 0 R 166 0 R 167 0 R 168 0 R 169 0 R 170 0 R]
>>
endobj
26 0 obj
<<
/Type /Page
/Contents [171 0 R 172 0 R 173 0 R]
/Resources 174 0 R
/MediaBox [0 0 595.44 793.44]
/AA <<
/O <<
/S /JavaScript
/JS ( var DirtyBeforeCloseTooltip=this.dirty; CloseTooltips\(\); this.dirty=DirtyBeforeCloseTooltip; )
>>
>>
/Parent 11 0 R
/Annots [175 0 R 176 0 R 177 0 R 178 0 R 179 0 R 180 0 R 181 0 R 182 0 R 183 0 R 184 0 R]
>>
endobj
27 0 obj
<<
/Type /Page
/Contents [185 0 R 186 0 R 187 0 R]
/Resources 188 0 R
/MediaBox [0 0 595.44 793.44]
/AA <<
/O <<
/S /JavaScript
/JS ( var DirtyBeforeCloseTooltip=this.dirty; CloseTooltips\(\); this.dirty=DirtyBeforeCloseTooltip; )
>>
>>
/Parent 12 0 R
/Annots [189 0 R 190 0 R 191 0 R 192 0 R 193 0 R 194 0 R 195 0 R 196 0 R 197 0 R 198 0 R
199 0 R 200 0 R 201 0 R 202 0 R 203 0 R 204 0 R 205 0 R 206 0 R 207 0 R 208 0 R
209 0 R 210 0 R 211 0 R 212 0 R 213 0 R]
>>
endobj
28 0 obj
<<
/Type /Page
/Contents [214 0 R 215 0 R 216 0 R]
/Resources 217 0 R
/MediaBox [0 0 595.44 793.44]
/AA <<
/O <<
/S /JavaScript
/JS ( var DirtyBeforeCloseTooltip=this.dirty; CloseTooltips\(\); this.dirty=DirtyBeforeCloseTooltip; )
>>
>>
/Parent 12 0 R
/Annots [218 0 R 219 0 R 220 0 R 221 0 R 222 0 R 223 0 R 224 0 R 225 0 R 226 0 R]
>>
endobj
29 0 obj
<<
/Type /Page
/Contents [227 0 R 228 0 R 229 0 R]
/Resources 230 0 R
/MediaBox [0 0 595.44 793.44]
/AA <<
/O <<
/S /JavaScript
/JS ( var DirtyBeforeCloseTooltip=this.dirty; CloseTooltips\(\); this.dirty=DirtyBeforeCloseTooltip; )
>>
>>
/Parent 12 0 R
/Annots [231 0 R 232 0 R 233 0 R 234 0 R 235 0 R 236 0 R 237 0 R 238 0 R]
>>
endobj
30 0 obj
<<
/Type /Page
/Contents [239 0 R 240 0 R 241 0 R]
/Resources 242 0 R
/MediaBox [0 0 595.44 793.44]
/AA <<
/O <<
/S /JavaScript
/JS ( var DirtyBeforeCloseTooltip=this.dirty; CloseTooltips\(\); this.dirty=DirtyBeforeCloseTooltip; )
>>
>>
/Parent 12 0 R
/Annots [243 0 R 244 0 R 245 0 R 246 0 R 247 0 R 248 0 R 249 0 R]
>>
endobj
31 0 obj
<<
/Type /Page
/Contents [250 0 R 251 0 R 252 0 R]
/Resources 253 0 R
/MediaBox [0 0 595.44 793.44]
/AA <<
/O <<
/S /JavaScript
/JS ( var DirtyBeforeCloseTooltip=this.dirty; CloseTooltips\(\); this.dirty=DirtyBeforeCloseTooltip; )
>>
>>
/Parent 12 0 R
/Annots [254 0 R 255 0 R 256 0 R 257 0 R 258 0 R 259 0 R 260 0 R 261 0 R 262 0 R 263 0 R
264 0 R]
>>
endobj
32 0 obj
<<
/Type /Page
/Contents [265 0 R 266 0 R 267 0 R]
/Resources 268 0 R
/MediaBox [0 0 595.44 793.44]
/AA <<
/O <<
/S /JavaScript
/JS ( var DirtyBeforeCloseTooltip=this.dirty; CloseTooltips\(\); this.dirty=DirtyBeforeCloseTooltip; )
>>
>>
/Parent 12 0 R
/Annots [269 0 R 270 0 R 271 0 R 272 0 R 273 0 R 274 0 R 275 0 R 276 0 R 277 0 R 278 0 R
279 0 R 280 0 R 281 0 R 282 0 R]
>>
endobj
33 0 obj
<<
/Type /Page
/Contents [283 0 R 284 0 R 285 0 R]
/Resources 286 0 R
/MediaBox [0 0 595.44 793.44]
/AA <<
/O <<
/S /JavaScript
/JS ( var DirtyBeforeCloseTooltip=this.dirty; CloseTooltips\(\); this.dirty=DirtyBeforeCloseTooltip; )
>>
>>
/Parent 13 0 R
/Annots [287 0 R 288 0 R 289 0 R 290 0 R 291 0 R 292 0 R 293 0 R 294 0 R 295 0 R 296 0 R
297 0 R 298 0 R 299 0 R 300 0 R 301 0 R 302 0 R 303 0 R 304 0 R 305 0 R 306 0 R
307 0 R 308 0 R 309 0 R 310 0 R 311 0 R 312 0 R 313 0 R 314 0 R 315 0 R 316 0 R]
>>
endobj
34 0 obj
<<
/Type /Page
/Contents [317 0 R 318 0 R 319 0 R]
/Resources 320 0 R
/MediaBox [0 0 595.44 793.44]
/AA <<
/O <<
/S /JavaScript
/JS ( var DirtyBeforeCloseTooltip=this.dirty; CloseTooltips\(\); this.dirty=DirtyBeforeCloseTooltip; )
>>
>>
/Parent 13 0 R
/Annots [321 0 R 322 0 R 323 0 R 324 0 R 325 0 R 326 0 R 327 0 R 328 0 R 329 0 R 330 0 R
331 0 R 332 0 R]
>>
endobj
35 0 obj
<<
/Type /Page
/Contents [333 0 R 334 0 R 335 0 R]
/Resources 336 0 R
/MediaBox [0 0 595.44 793.44]
/AA <<
/O <<
/S /JavaScript
/JS ( var DirtyBeforeCloseTooltip=this.dirty; CloseTooltips\(\); this.dirty=DirtyBeforeCloseTooltip; )
>>
>>
/Parent 13 0 R
/Annots [337 0 R 338 0 R 339 0 R 340 0 R 341 0 R 342 0 R 343 0 R 344 0 R 345 0 R 346 0 R
347 0 R 348 0 R 349 0 R 350 0 R 351 0 R 352 0 R 353 0 R 354 0 R 355 0 R 356 0 R
357 0 R]
>>
endobj
36 0 obj
<<
/Type /Page
/Contents [358 0 R 359 0 R 360 0 R]
/Resources 361 0 R
/MediaBox [0 0 595.44 793.44]
/AA <<
/O <<
/S /JavaScript
/JS ( var DirtyBeforeCloseTooltip=this.dirty; CloseTooltips\(\); this.dirty=DirtyBeforeCloseTooltip; )
>>
>>
/Parent 13 0 R
/Annots [362 0 R 363 0 R 364 0 R 365 0 R 366 0 R 367 0 R 368 0 R 369 0 R 370 0 R 371 0 R
372 0 R 373 0 R 374 0 R 375 0 R 376 0 R 377 0 R]
>>
endobj
37 0 obj
<<
/Type /Page
/Contents [378 0 R 379 0 R 380 0 R]
/Resources 381 0 R
/MediaBox [0 0 595.44 793.44]
/AA <<
/O <<
/S /JavaScript
/JS ( var DirtyBeforeCloseTooltip=this.dirty; CloseTooltips\(\); this.dirty=DirtyBeforeCloseTooltip; )
>>
>>
/Parent 13 0 R
/Annots [382 0 R 383 0 R 384 0 R 385 0 R 386 0 R 387 0 R 388 0 R 389 0 R 390 0 R 391 0 R
392 0 R 393 0 R]
>>
endobj
38 0 obj
<<
/Type /Page
/Contents [394 0 R 395 0 R 396 0 R]
/Resources 397 0 R
/MediaBox [0 0 595.44 793.44]
/AA <<
/O <<
/S /JavaScript
/JS ( var DirtyBeforeCloseTooltip=this.dirty; CloseTooltips\(\); this.dirty=DirtyBeforeCloseTooltip; )
>>
>>
/Parent 13 0 R
/Annots [398 0 R 399 0 R 400 0 R 401 0 R 402 0 R 403 0 R 404 0 R 405 0 R 406 0 R 407 0 R
408 0 R 409 0 R 410 0 R 411 0 R 412 0 R 413 0 R 414 0 R 415 0 R 416 0 R 417 0 R
418 0 R 419 0 R 420 0 R 421 0 R 422 0 R 423 0 R 424 0 R 425 0 R 426 0 R 427 0 R
428 0 R 429 0 R 430 0 R 431 0 R 432 0 R 433 0 R 434 0 R 435 0 R 436 0 R 437 0 R
438 0 R 439 0 R 440 0 R 441 0 R 442 0 R 443 0 R 444 0 R 445 0 R 446 0 R 447 0 R
448 0 R 449 0 R 450 0 R 451 0 R 452 0 R 453 0 R 454 0 R 455 0 R 456 0 R 457 0 R
458 0 R 459 0 R 460 0 R 461 0 R 462 0 R 463 0 R 464 0 R 465 0 R]
>>
endobj
39 0 obj
<<
/Type /Page
/Contents [466 0 R 467 0 R 468 0 R]
/Resources 469 0 R
/MediaBox [0 0 595.44 793.44]
/AA <<
/O <<
/S /JavaScript
/JS ( var DirtyBeforeCloseTooltip=this.dirty; CloseTooltips\(\); this.dirty=DirtyBeforeCloseTooltip; )
>>
>>
/Parent 14 0 R
/Annots [470 0 R 471 0 R 472 0 R 473 0 R 474 0 R 475 0 R 476 0 R 477 0 R 478 0 R 479 0 R
480 0 R 481 0 R 482 0 R 483 0 R 484 0 R 485 0 R 486 0 R 487 0 R 488 0 R 489 0 R
490 0 R 491 0 R 492 0 R 493 0 R 494 0 R 495 0 R 496 0 R 497 0 R 498 0 R 499 0 R
500 0 R]
>>
endobj
40 0 obj
<<
/Type /Page
/Contents [501 0 R 502 0 R 503 0 R]
/Resources 504 0 R
/MediaBox [0 0 595.44 793.44]
/AA <<
/O <<
/S /JavaScript
/JS ( var DirtyBeforeCloseTooltip=this.dirty; CloseTooltips\(\); this.dirty=DirtyBeforeCloseTooltip; )
>>
>>
/Parent 14 0 R
/Annots [505 0 R]
>>
endobj
41 0 obj
<<
/S /GoTo
/D (section.1)
>>
endobj
42 0 obj
<<
/Title
/A 506 0 R
/Parent 3 0 R
/Prev 15 0 R
/Next 507 0 R
>>
endobj
43 0 obj
<<
/S /GoTo
/D (makeToc.2)
>>
endobj
44 0 obj
<<
/Title
/A 508 0 R
/Parent 3 0 R
/Prev 509 0 R
/Next 16 0 R
>>
endobj
45 0 obj
<<
/Kids [510 0 R 511 0 R 512 0 R 513 0 R 514 0 R 515 0 R]
/Limits [(Doc-Start) (lemma-definition.3.2)]
>>
endobj
46 0 obj
<<
/Kids [516 0 R 517 0 R 518 0 R 519 0 R 520 0 R 521 0 R]
/Limits [(makeToc.1) (theorem.1.4)]
>>
endobj
47 0 obj
<<
/Kids [522 0 R 523 0 R 524 0 R 525 0 R 526 0 R 527 0 R]
/Limits [(theorem.1.5) (theorem.6.7)]
>>
endobj
48 0 obj
<<
/Kids [528 0 R 529 0 R 530 0 R]
/Limits [(theorem.6.8) (theorem.9.4)]
>>
endobj
49 0 obj
<<
/S /JavaScript
/JS <20200D0D202076617220616E696D6163653B0D20207661722066616E6379546F6F6C746970734C6F61646564203D20747275653B0D0D20200D0D202066756E6374696F6E20436C6F7365546F6F6C7469707328290D20207B0D20202020747279207B746869732E6765744669656C642822696B6F6E6122292E68696464656E3D747275653B7D636174636820286529207B7D0D20202020747279207B6170702E636C656172496E74657276616C28616E696D616365293B7D636174636820286529207B7D0D202020200D202020200D20207D0D0D202066756E6374696F6E206E6173746176286369736C6F2C737472616E61290D20207B0D2020202076617220663D746869732E6765744669656C642822696B6F6E612E222B28737472616E6129293B0D2020202076617220673D746869732E6765744669656C642822616E696D746970682E222B6369736C6F293B0D2020202076617220736F7572663D662E726563743B0D2020202076617220736F7572673D672E726563743B0D2020202069662028286D6F757365582B736F7572675B325D2D736F7572675B305D293C736F7572665B325D290D202020207661722070657263583D3130302A286D6F757365582D736F7572665B305D292F2828736F7572665B325D2D736F7572665B305D292D28736F7572675B325D2D736F7572675B305D29293B0D20202020656C73650D202020207661722070657263583D3130302A286D6F757365582D736F7572665B305D2D28736F7572675B325D2D736F7572675B305D29292F2828736F7572665B325D2D736F7572665B305D292D28736F7572675B325D2D736F7572675B305D29293B0D202020207661722070657263593D3130302A286D6F757365592D736F7572665B335D292F2828736F7572665B315D2D736F7572665B335D292D28736F7572675B315D2D736F7572675B335D29293B0D202020206966202870657263583E313030292070657263583D3130303B0D202020206966202870657263593E313030292070657263593D3130303B0D202020206966202870657263583C30292070657263583D303B0D202020206966202870657263593C30292070657263593D303B0D20202020662E627574746F6E416C69676E583D70657263583B0D20202020662E627574746F6E416C69676E593D70657263593B0D20207D0D0D202066756E6374696F6E207A6F6272617A286369736C6F2C737472616E61290D20207B0D2020202076617220663D746869732E6765744669656C642822696B6F6E612E222B28737472616E6129293B0D2020202076617220673D746869732E6765744669656C642822616E696D746970682E222B6369736C6F293B0D20202020662E68696464656E3D66616C73653B0D20202020662E627574746F6E53657449636F6E28672E627574746F6E47657449636F6E2829293B0D202020200D20207D0D0D2020746869732E64697274793D66616C73653B0D20206170702E666F63757352656374203D2066616C73653B0D>
>>
endobj
50 0 obj
<<
/Type /Encoding
/Differences [24 /breve /caron /circumflex /dotaccent /hungarumlaut /ogonek /ring /tilde 39
/quotesingle 96 /grave 128 /bullet /dagger /daggerdbl /ellipsis /emdash /endash
/florin /fraction /guilsinglleft /guilsinglright /minus /perthousand /quotedblbase /quotedblleft /quotedblright /quoteleft
/quoteright /quotesinglbase /trademark /fi /fl /Lslash /OE /Scaron /Ydieresis /Zcaron
/dotlessi /lslash /oe /scaron /zcaron 164 /currency 166 /brokenbar 168
/dieresis /copyright /ordfeminine 172 /logicalnot /.notdef /registered /macron /degree /plusminus
/twosuperior /threesuperior /acute /mu 183 /periodcentered /cedilla /onesuperior /ordmasculine 188
/onequarter /onehalf /threequarters 192 /Agrave /Aacute /Acircumflex /Atilde /Adieresis /Aring
/AE /Ccedilla /Egrave /Eacute /Ecircumflex /Edieresis /Igrave /Iacute /Icircumflex /Idieresis
/Eth /Ntilde /Ograve /Oacute /Ocircumflex /Otilde /Odieresis /multiply /Oslash /Ugrave
/Uacute /Ucircumflex /Udieresis /Yacute /Thorn /germandbls /agrave /aacute /acircumflex /atilde
/adieresis /aring /ae /ccedilla /egrave /eacute /ecircumflex /edieresis /igrave /iacute
/icircumflex /idieresis /eth /ntilde /ograve /oacute /ocircumflex /otilde /odieresis /divide
/oslash /ugrave /uacute /ucircumflex /udieresis /yacute /thorn /ydieresis]
>>
endobj
51 0 obj
<<
/Filter /FlateDecode
/Length 10
>>
stream
x+ |
endstream
endobj
52 0 obj
<<
/Length 374
/Filter /FlateDecode
>>
stream
xmRN0+|L%n
G h (m#H\ܴ) Q>;A|PI8N>e믿(V
brQ+qⓛX0}/
GE29##JBD1IJ(Ɍ(f!aV6qfu
~Ў8|FzC7u~sʶMy]rSq@GPR+iPq9:~D.Flf0o-keM}GmAǾGq_W,4]RFJ̍MѾ5{eI G< "H?a1u{8${t|u &S