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: '92eb9aa2499740ca',cH: 'AspvG1RcJ8ckrogIhFIar.iaygWos2RuzJ69vZsRb3Q-1744386253-1.2.1.1-MjM5jwsmieoWk2tbZCveVEXwJFiYpKPbF647dwzCnlPiAf8WOF7Rnk5j7YdDaDZ6',cUPMDTk: "\/1351.05107?__cf_chl_tk=oTcAFsNbJ_P8bYj0CSvSJrzUaE9FqHMGXPVM4KMXz1c-1744386253-1.0.1.1-exGdh5DwN1tHVr.owBP.qK39yYGGJGBILzUCaXh3nbo",cFPWv: 'b',cITimeS: '1744386253',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/1351.05107?__cf_chl_f_tk=oTcAFsNbJ_P8bYj0CSvSJrzUaE9FqHMGXPVM4KMXz1c-1744386253-1.0.1.1-exGdh5DwN1tHVr.owBP.qK39yYGGJGBILzUCaXh3nbo",md: "vJX7CxioLhrxQllTarkzxTCSY5SPnKSYzOBeo_h_TdU-1744386253-1.2.1.1-lDC8RGQ4ggI0LvO66Z7iYVtiCvA4azoUhwxYxZbf_RRfk3pa.EacLQKttm2xPZGhNu_EIpG4cSNeI_SBvDr_5jEtKiN2Rmbke2XFoRiABHEGpy.w7p5TKLLEiHaiUOhfCnkfdjW4FYORzlmGrXpyh4fzHL1Xsk0XqjKKo_6yWyBPsODsBKZHHp.K7kzZjig1mDw9gj9bsvjkpcl8w9dMH9NFhLu9uBGhDGy_E327.qJ1BYIijl2ASUIvAqfS.yFmzQZnO_yjFi3xUfaHHr0ieBTGsfVRFxMRs_bploLcJjXM1CgUDwGH81_csB0NgoCPZeBb1Z2j98GWplJtV4wHBVgXpmRH6e1sxWbERKZ2FxNx134v7NCoB1V.OceXYGXJhFY8tjJRy6vc0qk0XFJgHPmyjGXHxqtmRfIXvBzhgmJXBFuQY5dFmpFOQsUN1fZjJ1P5SM.T.2TNpFgunboYMXUHUq36.eDHinFcfYmj1N3HTN0tvW5J.DDdp2DBWUDEFT94L7fj1Hgl6UXnYfz0D9bKsFhOGaASuX3S1n2nUWeE0eWqajL8OCPJthCITCu0MNiFA1QUNg2ehabpYa7PXhOeF0pYVM5pRJro4A45YnoIF_gWoh7JI4q.Vj8VU2AXdGVtiiA2v.ffHEA9tw74h.sxgPBgATK1bfU6hZKYW9KQZdG_xaDxmi2K2V0TY6Na9_wWHvL4UHIU3Ka1i0HKFiTzy4_uh6LR5pXmteLeYxZdu79FnwVM83xb2QHcoTs4ZnsExZLrnSLymFicoWZhCokSlj53_GzZLkVsgS3T7ZwykOHu.PDJi22cNcmKiMdjoQUXos7f2J1GP0iXlo3iJt5h86GXcqbodo1p1laZdfxuA955nbfRrvk0qI.kVEzPb86LVRoKWn.ttyK7JQESlfWbD5ZwRF0jqsmwsvBA7_opXng_guxdvKguK_aoXYzwR_P8Xc7i77hU9VvmUaHaee1dIuglJTocAQoIqj9NAnrLbtZjVk5VTxym_mDhBQuGX5UrjMqZq5WQwaGNv3IaywFrIxoJgFRx9f3eJoT7Y6q7u_iGEWWsptFnLwuNWT0oX4ZNN_1raNj2PiOLe7BtP3N0hYsjH39KeZCP6SOeB3ZrPerfVkAJAlvEAetNORPlMg7TCEsMAU5_.Jz_VGO2k5NnLGZ4GdMIgm2R4WH3hV5TviMJdDzSPCXpySXnwF6_",mdrd: "Vm2INZOIQCvlRybz93XLB27awOCtxfTc4p292Y2eBSA-1744386253-1.2.1.1-_mP23bxcIgQ8GgxrCCFJ..a6oGXtHFAxpW62Co..Q.6G.ec0qwjJuW0kx2iWTzEWl9O4XHtbR7AmTvbpy8GPphFo2cOwRl1NV4gfk7anTZHmpvK9cNYamH0EAVPmpscDwZ5uDvl6lRDIGwx5KKPmOcE8YNQiF8Iy62QmnkGV.lEeVnH0ZAIEnNBS74azmVsIJBC8d_6B23IrWNaQBeEIAZORopUU5g8NLmfIuZ9_Er3YvFYApWOkLEPnW0U0w2OMdxhhszxKk4bB.5Lvahz7ROgffjrQmrw36AMjMV5Hw2VQMC6iUImyJyYgHwIE88Cq.j78PVhJOsEj.X6qHCaLBWyRoHvU4y5lAz07p9SM87Y6eTooWAlwyjVmpehydD.83b3vAXRWPNPGzczG4He4OVJiIjF_884nXjPdffz3vFmFBj4PACCOyLfR8FvUsb9kbQzZTZLjtFgVqYGdYrbxQq4dtcTCDnB6lsEI725CTnyFIyN9QnZtCoRnYldtwKZpEBq4UyPQE.DmkUB9PMqyq7VQ69dhYHkmhQIrCY3YlHARX_PuGouBPPoy2YB0tPuAsO3fasrbltwUivM.cV9HdnEK.CpWEMnFj2hhnDJux2iW6FrNcIafhru7hDHXhpve6WSLlXCCDFca4Nv8W7mjwkvSlo8U2CI5BolFrI7kToOZkfJUNKuH8jT90UUfUjZ_huOYBoby1V5UhrEPwhm_KnF7fIPtVFbh1zpe4rBlP9tpAHakjkc0mtT.1dNTXjCjLbbeIifs00lJWsOw.ozlS8oqsDLQzcHRIKNHjol4G26XmhsepLvZ2LCmdtC4fxczvLx8PVcc0Jp6CnAVCOm62urUX8gYPxNPRnA5QsAH3ozDs.xWLk2J9bD1Go_RuPxRceglQMd_nEljyy01i7x.btjUZhFUo.FcA5NnMzpbjYUmcuOKeG6FZ38IArF5OUdff9NPFkjtpzOV_nABigFtC5CqmZbGKSIU7Tojdl7b6pMdaMuMmn1bRYmj9AwNyyGtpC003f.ONngHCRGI4j9npq8UTMzMh_.Xr1JttRI51tGhF0lW7khMznoA9ynDECNObgRLK1owVQZ_5zu66HWQOmB6A3zgnUvX8cjbyPCmjcH1Ul0VEJW7qbSHTmtmQ2ozFPP12k3623dKNnfN97DPjmq951Al4VmKGsoLw66pUCKJYmEi085iP3.eRNwu4l7X569iIKKIRgx3b6NLyAg4gXuLhSO8Gg5L3iNQAxuTxSgfq2fr5BWVvgyJUFdHnF9tmsuI6O79xVdHh07G9YD2YCAMm1LAmMtB1fHaRjcOZN8ImiNUnxp0qhO4ao7RAJwXiNFStVYFOiQtI4c2DIe8vGV9rubdxAZmuQqHWaTuIWGwoAeINLfPRRCuDJ_VHl8YDYTpAt3A_yVuaSaY3QYYLnstQqGO9tIFgcadbbMXvAPj3sJ0ocOiQK3d2DDABbgaVnxqpaqh7OUFpOmC_xjlbB5mgf8MCqJtre0sroP0ea0uZmK0dI8V0oAU7Jriio0kHpQ0BqQgWyWBjo7Nx6.l1bfr09BEBhgvPXV03CJgeY7LDdZaqJvw.V.F1V1iSB2t5WoCG0uwvztLisUzKzvFBAH6L42d5y76AaaleKb.hGqzCvrnVDFVwNibCrk3q.phW2FrTKzbQ3GpT8y3gPteZhkzeYbKPSVl5c1.7ay4pgGudrcLPPxIn4o5M.dDEHmZVqezLC.xeYEJVDlom9byHS5d.1ibT7HzcRgBfBWxMPcCaWXZeWREvI1tTx_4ujtbRKUwFaKJ9dmde_PYvmhcoInuSdDqkJYe_EnmXO_oQvWEHDiyc_SyG6oR1UAZqjkqMn4Hx7BIb._1NzKG6sl4gup6FElfTADS2H8LvLJh4GGaTgHACuJOAH97D2ja7oiMq8dZ3COilE8B8l1n.dNKNXyzhBFJ1IoJ0gbvmI0R0uNyGDQJi3L1LxHZns9ZXgApnWOA0SzVrKGikkMDxm3QmPjRnJxtAhK6XhnQYRnjQKT7IvhNwK1oSoJiLEW075.x"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=92eb9aa2499740ca';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, "\/1351.05107?__cf_chl_rt_tk=oTcAFsNbJ_P8bYj0CSvSJrzUaE9FqHMGXPVM4KMXz1c-1744386253-1.0.1.1-exGdh5DwN1tHVr.owBP.qK39yYGGJGBILzUCaXh3nbo" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>