CINXE.COM

<!DOCTYPE html><html lang="en-US"><head><title>Just a moment...</title><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"><meta http-equiv="X-UA-Compatible" content="IE=Edge"><meta name="robots" content="noindex,nofollow"><meta name="viewport" content="width=device-width,initial-scale=1"><style>*{box-sizing:border-box;margin:0;padding:0}html{line-height:1.15;-webkit-text-size-adjust:100%;color:#313131;font-family:system-ui,-apple-system,BlinkMacSystemFont,Segoe UI,Roboto,Helvetica Neue,Arial,Noto Sans,sans-serif,Apple Color Emoji,Segoe UI Emoji,Segoe UI Symbol,Noto Color Emoji}body{display:flex;flex-direction:column;height:100vh;min-height:100vh}.main-content{margin:8rem auto;max-width:60rem;padding-left:1.5rem}@media (width <= 720px){.main-content{margin-top:4rem}}.h2{font-size:1.5rem;font-weight:500;line-height:2.25rem}@media (width <= 720px){.h2{font-size:1.25rem;line-height:1.5rem}}#challenge-error-text{background-image:url(data:image/svg+xml;base64,PHN2ZyB4bWxucz0iaHR0cDovL3d3dy53My5vcmcvMjAwMC9zdmciIHdpZHRoPSIzMiIgaGVpZ2h0PSIzMiIgZmlsbD0ibm9uZSI+PHBhdGggZmlsbD0iI0IyMEYwMyIgZD0iTTE2IDNhMTMgMTMgMCAxIDAgMTMgMTNBMTMuMDE1IDEzLjAxNSAwIDAgMCAxNiAzbTAgMjRhMTEgMTEgMCAxIDEgMTEtMTEgMTEuMDEgMTEuMDEgMCAwIDEtMTEgMTEiLz48cGF0aCBmaWxsPSIjQjIwRjAzIiBkPSJNMTcuMDM4IDE4LjYxNUgxNC44N0wxNC41NjMgOS41aDIuNzgzem0tMS4wODQgMS40MjdxLjY2IDAgMS4wNTcuMzg4LjQwNy4zODkuNDA3Ljk5NCAwIC41OTYtLjQwNy45ODQtLjM5Ny4zOS0xLjA1Ny4zODktLjY1IDAtMS4wNTYtLjM4OS0uMzk4LS4zODktLjM5OC0uOTg0IDAtLjU5Ny4zOTgtLjk4NS40MDYtLjM5NyAxLjA1Ni0uMzk3Ii8+PC9zdmc+);background-repeat:no-repeat;background-size:contain;padding-left:34px}@media (prefers-color-scheme:dark){body{background-color:#222;color:#d9d9d9}}</style><meta http-equiv="refresh" content="390"></head><body class="no-js"><div class="main-wrapper" role="main"><div class="main-content"><noscript><div class="h2"><span id="challenge-error-text">Enable JavaScript and cookies to continue</span></div></noscript></div></div><script>(function(){window._cf_chl_opt={cvId: '3',cZone: "zbmath.org",cType: 'managed',cRay: '92e77a240db9fd33',cH: '4uRm0ugGCVJKTBoxAEIRiN6g6wP5gHiEXNBTIHrIxOI-1744342979-1.2.1.1-NBOt_VDl5xYpJZpYVyWefZfVi_JCYyaen4bPw40xtApyfjTl5Kx59tcE3yb8Pfc3',cUPMDTk: "\/1102.91037?__cf_chl_tk=QG9u38otujrAVGFuFV3RGDj4lblAt17IGUksvQJqtdw-1744342979-1.0.1.1-rlQXns_vX0gswHP_LZAO6n6SPbqUIJiUL1B4Ess8Kio",cFPWv: 'b',cITimeS: '1744342979',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/1102.91037?__cf_chl_f_tk=QG9u38otujrAVGFuFV3RGDj4lblAt17IGUksvQJqtdw-1744342979-1.0.1.1-rlQXns_vX0gswHP_LZAO6n6SPbqUIJiUL1B4Ess8Kio",md: "iKXV72696jirVZqpdWsROu9iWZsFgc2bzUTsdf1TWxo-1744342979-1.2.1.1-rlvzINTdQNGg2lDCSUYpB4BR9YWq3BTSH_9kMN8Zw1DIQ7dUIZfIzN2gUabVvPpfXZkQK5qfze4qMjxrWsqIrIz2YQIOcT7lLAZdrTHJTpSQ6UXmc1u63fS9JSJ7OeFW7hDwpyymO0R8F7mn7q7jxoH3SaopgmuWY8ccfkDnXBOenq.LsAxE5WoZkMH7j8c_tH2eKowUc5yQslBQjR.XMSKipbop9CpGn9dt2teUjQUQSSD.J76KJqcGMnJMttcSmikgfg945if7NibL1c3fdUuHrPymbRNcj0PRqdfQ8TrKfSeegj6GJJyg77bIvuQIx4Uof7MkkV3BB3Hi4NCPAUCGE12e4Rd2lcymw_U8rv5lZyV5m3re1Rwj09gFfwoZ4PJtrC4pPwnsDa.r_CSzXiCG0GUpUbi2V3mJ1iw6GMObahu5NZ.rOyBQa5y4Py5dJBED_2I2Jy25rWaH1bwOg9SCFSbkxZBXqnaaSvnDTrCx9FrgPLirlLLW8IbhGstdur_S0fk_XPc3bCRtlWTe9ftFfm_VyJb5wppIUFSHe82q6dqpOLWHFQjvcENCztcjVspHqDoruvVtK4k8PsOxqGcCOOee1zonFxyzYyrlzvmMILNk3Tlo5DqLRnnA1RDYgWyTUJULNdQwxKDP7vPmCO.a68Je_sYIh4H5b1lKCsr0BzE6bWaMiZXNh2sZDOMxoHwcWeY7Vh9JzQrGlwpGe2NFyZH.EA_rqJYP8HrRoHc2wsUfvhWK3iRir_cXiq2eoMtWlvNwFlTzksUSUyZJ7GxgFVnbvbeU_JiPcZkUFuWsd8VwHvJ4Zh7o55aO1mCTAgwy58pfzhLz18EvhlNPdu_ByaTGQWsJ_pn6QhYjBXv086VKeI4kCzyAvcvWcPZLJUx20CIhWj6CRwYYRR3gHNpjXhaRdgz.O1816sePdit8OdWCs1NYTm1t36Wc89.fmiygpU4IYaPIw1iaJmyV0WQNt.XggHzXyxZAHnyM.nJA_5HDJLjBdl_dAIXZ_3xCpxklrpt_YTo4ZsEZ3i8mqsWAthy1sf7rlfGJIGNVNS_iraSmKGUm.AgP5GFxCD7ei03afrVpbqxMXi8HsOKKV3PG6GWfvrg6ft9EA8FAD4UcCNQzo5p5L1_IASBE7RnxpvCkuMJn5JtQ2Y9Y7QGgg9xJdVxQ7yjAXCZyATV05RTuKflFZZA_37GUnww90bDX",mdrd: "uJaIFJDXjMtsHQ1BcLTyyFGwXtPEsEoIfdMYJbIZUjQ-1744342979-1.2.1.1-b.OCwr.0TJAOzT1ztL9tXObTeHSTqD1Ly06SV7zAYI9J4Fyy88VJQG0FbLl0vP56NFFlyTqfCFaGeKz8S7nuiFiQKgB1Qthbe2PQF98W8UnAKdQ7dTK6bACcii6LM4.imEzC4nb5U53RTC6d36CyvXygIDkHzGOnJoXNWV6YLWB4SAG0NI3n00m8FhPWje7uT9NJJ2ff6RcS_IUjAbtywDwA5jebbDa_6oQjvTPt2ubRHsOt9.x4I6PwlVrCsMsET.PTy_acURsFupY1Ps6s8ggmobTugdv1MTwxU2VbvyPYW9hB28XOOYPoFU0Sfz2FvtBNZc2JW6ECBhcin_2lRoQOdMgg1lqNS_eNxSNXsxQdQLvCFqnaxLhVa4gGxA5NKlithewbHEk6LMbdL8Ap5lZ6atC9kpTBnFT2n7scKzwPhejfiq6BQkIoJe44Ao3Yz_NbJrjxD_mVs7XFizP3nZE2FbvendVTKhcefRZqr_BDVTSz87_46fm2acuNxDyPuJlRZh9mGjXdLduVTz7RCXrgE9GNGdJnIpRvt1gjhgSFJD6dgdz8bXtaT_TPb3Ot0aQWTCDWGOhXmRii4R5G4lBpj9ClyZkFzueDytbqmT4Qigzs8B9MrinV7UWO3y3jDLYS.HEdtnaAbzVXf99AGAwkMGz5r7o8GUFag49V7t_BhGblv_LKyxlc6SynCmo3bUJ91Asp8ig7KzbM3wiGTgOzmabQ9ivd63U7fkU0sHrZbylHL5A8io17K4F.7_Aml9nBFPHuFs6pw6QtTfAPBfyxiuJzz8xkcaMc0Mpx1C1l0Q5SNyY6l40_FtGwoMG4SC5YaZ2PfzflMigqDjxjn33hJJxulNire0UwqDrkqxjVEJ0TAML4._cHpESGj1uKvhwXMnQS9PMJ1FM6D2y0kP.vsonjh_zOITfJ9J0sEufE2wbdDUJICsIB7G9GetmhXv42_9DXEv8iZBFQJNTxYUvUTwNCl1xZl6Ln9zxgIcZcYUdomjk1nV0Bp7DizDVFXq3a_70TNY6vlAenmYI0NBoII8.k5qUSqEzln_R26bpgwNfj3mO34RCcoViBsnKsWhxK2GTnR2s.B96YPmgpPjHrrr9HX60DDFNX.rI85UgBs4hCbsXa33umyQIHOj.vP6Nh4k_jsSuxi4uDHWsXPfAUq2umWOoDA3tAxBlEZs1QlsCFFlVASBIpe3.0oHtQpN7Atdkp0DUD2PxiOOkp1zuQx6ecRf4oJCkP.JTqCczk.Fn1W2ml41MrncMqCl1.jvr7yHN8rQxWyff8uFriPNy.Tl0uoGq2Tp2KiRwaqCNvGNUBWF9sPX9n5nOClBvlX_zn95UyiVZRharhxkT0sBKvuqeNZ_RX2XsoIKH4jiWrgqCY2AkNc9FRs6HR9YSJWc5kbs9A_.iLwR6cPsDGrSFg__nSW2JHLFO2rdp1Co9s8E99aWwS3b49hKMzB1jRRrJRR3QEEC7l0WptdSz87StBZGPv80YTZbeyVsRw2t6u7Rg9oBBrJDMI7_7mX7SladPTkIlY5nMuW7Ql8whQez2O_lBWLu3iSub6D4sKI1F61SKzZXcz3AwUeRcw_gSGHRDN8.Z5dNvO3IYaOn3Qv665kDpfAYAFYrmo8X2eucBa7P8zQq.7ZkQbkQsAicETBT8GaxKWQy5K_upju3gRgT7_0SGyKXRS1aFtGVPyL9Vmo8R.wXSeG9EKP1hc7Na7YpYuw07Y3y.wJ5F0GgXJoJPvJUtqw8d44GqVhMnEP3qcSez5clj3x3BcaEaQmyPNunPZE4xFOe.B8oqddiK9RWWSUgLm8JDyNfXUUY.0acZ3PGMZ9BAwjrtnkvpF8uremfa.E0IaMJv2F8S8GMGu5XKsejbw_7vbHNjBVb24GR4qpGhp3aLnloVIM.U_U_XE9LmfKaE85pSBaBC4NlBJT5C3peSEwM3F1JN9wwp7UuO9.BVRFe2z7CPl_Nixv0bZRi90WId4A6osCRzs9eCiO7Hhn.pBcV.hFf6UMpExrTuBO2LYTs7A0GhVc4d3Ld3T"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=92e77a240db9fd33';window._cf_chl_opt.cOgUHash = location.hash === '' && location.href.indexOf('#') !== -1 ? '#' : location.hash;window._cf_chl_opt.cOgUQuery = location.search === '' && location.href.slice(0, location.href.length - window._cf_chl_opt.cOgUHash.length).indexOf('?') !== -1 ? '?' : location.search;if (window.history && window.history.replaceState) {var ogU = location.pathname + window._cf_chl_opt.cOgUQuery + window._cf_chl_opt.cOgUHash;history.replaceState(null, null, "\/1102.91037?__cf_chl_rt_tk=QG9u38otujrAVGFuFV3RGDj4lblAt17IGUksvQJqtdw-1744342979-1.0.1.1-rlQXns_vX0gswHP_LZAO6n6SPbqUIJiUL1B4Ess8Kio" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>