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: '92e641e1ac63f875',cH: 'k.e8n2bwGoWUuXPh2K4rgJme8QncUiEDQh0Yi6dR2LQ-1744330189-1.2.1.1-YfwVJwKHvi.JVjf4TpTyGaJzUuaOiepNk7KTfFDVz6ed_B9c1foGKfWShuYiNrDN',cUPMDTk: "\/1119.60073?__cf_chl_tk=kOW.r7oRaMH5xDGZ9wKNwFuKm9njuqk5JPmxH2PlZVw-1744330189-1.0.1.1-Yr5z5ZZN2Oo4ttP5ImvN1psmXZxoifappqoviyziXIc",cFPWv: 'b',cITimeS: '1744330189',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/1119.60073?__cf_chl_f_tk=kOW.r7oRaMH5xDGZ9wKNwFuKm9njuqk5JPmxH2PlZVw-1744330189-1.0.1.1-Yr5z5ZZN2Oo4ttP5ImvN1psmXZxoifappqoviyziXIc",md: "PJT9dvy8YIm_RzHDajV_1TRAO75D7P7O1TMJC6EL7ow-1744330189-1.2.1.1-00mduFy7xNeFm7s65uFfTgXomYUdD84F2H64wqvXW27DzrszoBtuxhuj3AQuAwXa2cyXxP2oB1S3Ktnc3iw.EZyQXsz361X3ubnLMO.hZpafn_4HVYdXyIjkSqgumblHPgNQZ.YzeWHykJAHfz.KdBqbnqtnRLUZB9gN.PKZt5mXLjNDqXMsQjH9d3WTdNHnUnBA7gTnDsY064_SX.kQnmnNTfiOY_zMjPH9zmxVbVTnFf8hwF2QlM7wYhZ0dv9zkxVIEyxVNCEWiiOgIX_9Qg33.XOxWnm4sifFHInkOA3AHqrM1Ff6knNJbxu8qinwB2gi1i63pA2vM__Xp3OgDHrri3zJSfxMX8cs1EjI5OF1_6Py5Z.mV6F_SeI2vCeoObAWpLqR7jhNalT_d_vEmyCF7mU9voeaF9ZVb_YH0Gc4d.3cWkOifyMyHTTMF5o60WyNZ.sDVDObMI3rRZIhzoNQJgVHbqAZWT4f4yn0lnfxfGMjUO7JT1Ti_lpyRJKSPWBV6ALrYWfaxAY.E0Se_9e8i7wB9yBd0X.uhuNFD1PeHCdoaUE6La9GQqYNRlD1C_tFH6N.fXRcqvnaBLiubiYfYHK1B8Bd4A.tSU4xiEnFhlyrUcaYuzQPpZPhHu_481v7LYWI4nLnAyQq3x7sT3i8BzygQvbfixKVulh.Q2cJSnx_bSU4nOYGq9OEVe97NSF8r2fCzpxnNFm9krDlGAPjltLVboHVvh5NfCl9qlogiF8oBpNfLFmn50oq1dPLpScKdwcgzzAr1z00IiYF1sgcKUj1CzGAdzyE6taEFHK9tE02QBOCBJGO20NCFWPsfePELxtQtgx96FGi_Snm2F5PrjRhejinwDVc9gITHtEINGgf200T56yTBs9Gbe6EDdpxofVtx6jBZW9oxahX7nsSNDlJFEekJpj53QHeMhRotCNRknQAy1uYlmuTzFOIYwmzsx3rsDWrkVkzabK6lgaKC5HVc9O2owRfxtyCF638IDYDlSh01fGT4sYScLuyJ7V.g7WQo2aMXE7Aqnsr445oWGRQp6jSwoDBI0IHWb3lpqUIcDIofRb_tz2op4lVF2g4fgUO7ZkM3kgK6CbTYKDX8z0.wfTEVe4hwCHHlJiqqJthkhbGMw7XwWyNpHAKg0afyhnhNKuydjUmSNQfE.06cjU50diZBf1ydWQqGOE1IGVFHTH_LmkJmdZH8dAJ",mdrd: "g9.Wdd6HFP1Hko9IgkOdBRSM93UetJz7JYEPCkeDfsY-1744330189-1.2.1.1-d2V_3hQVOuWBKagfEnTwDhIjCuFp1mFQLGbvyYm2qXOBAkAW8BKy..ghDc.j4sfklNGxpzseBthpIYyqOmZdl.wMsilr7D9al0do0pufmSoXB4hI3N.lh.jBBU4yAhASEH9i.dDorK5MB8bvo0BHgGYxIsNgILeFGdCyuXuKChMG0QEmxmVUnFDiZNKTT9cft0n_jWDUkJXA3zBbvvCeMhBQK1U1O5n7MWPXVsbczBW3xg2GxcIf1FzCsXrXg1l3Dkc5HXsxXacaGfF2fc0mxSFwzEaKk1Uq2nbyenLWH2zqEg4G7rnYk7a2LdKmSsujZeAO3lV0A6BYrnSwu1G1DCtGTDUmIz1jZBoMeCTnBKQYRnqmffIuNAZ.YjwE2KfF9s8NZmtg1nQ8qesdATCuPTGL8WYybiVCRoeahugPBaBWtQH.Qb0i6wpTOtsn10robZeMjaiLUpxEpYOtraeIgWXPmLBzpeJoqyDUQ97dpTJOeuM8cGV8HgR4KdDKuvEcI.WUUTA0sYpmoO_ZnI7.kKsqE2HGyxK9M50xX0T95w0G33ACDbmgpZCqPEWeTzFahYiSrYUo29S2ux7yvsBp8CjjwJ8GKfEku1Xee5XBZ9FdjwV1AoNebUYCZuCxCAhAj._OOwYn.2f3Rn_px2cBpMEyXkmOaH4tMqy4pUgt7TRSU_wa51eqWRem4z7f5cNS4CIiQG9dubXlR37fcYipiKyUstBLyxOJfeqGWQwxnKNTvuK2e3hK_A54zFzUe9rdp2vugMU8tRyoQyTHEEe9Sfjbu2RaaR2t1pzUi8202EouF3nAI5Fl31pFgMxMnnScGKMXqRZPlgkCcxr82zDPIig3odXrMKwAUdSqIM9lecVv7.JiedkJ2F1jdUNn9XiebgWRYkN1bvqhGBhwOv0KzitHmh79uTpBksJS1KSc3lcnj2lA6s5AWKys.tL6iUodKU4ZQngkfQkDeGRGTFtfZwL1fUXKLMQgtwgUy1afTEsr2iaTJbP1U5ei1BckR1hsZDYXv1jKB8po8URrwMQNgNLR0ZCMlBs4BOXai4cAtdL0DXObbMVpdLfP1yOSqMQtIdiIpXMRKuK66DXdbQuoBgPqSwPC8hNIN0LTj6ZLx8gKAbZhpXFtv2BOQRVE_.Aiie0S7OOwdDkstMcH.yuM16L_YfjpgAKLmN0gpq3.FoE.ovCQu7quKFj1Qe_z4O5zWS3eTkcuUvvrckdZkfSxnQCNEb_K8LAVT1IZDv9JjoV55IGTnq1mw7njq7WE7uMeVE7Hmokw1PY4K9DoInFntk20Bms2vGhvcdY3xxJC0MFLFQXOjQw.VVHspkDr.sf1QGiCSidftPajDCB2k3_OJRIRZig.E6nUc2upDZ1K1aFsCGMahByxQAU26z_9vpmkAAx.zQi80V3Yhioujb0TEX2Wo40ZaSCkvAP9eDSXePNd6spWeVDFD2lXh54HsCZpQ375mx5NTSGJ3K0O2Rlv1Bjk8JbwwOnl8Iv6CEWsk3RpvYq7gmV8RLsYErGYEps9lnqlJ2.qPOEb7TnSPLxT2vxcEOHCS8RfKDMdRKxCPVp9kwobvAyHdbDDbmYuvFOGex95Q4gZ9CeZmyJKzIygIAljfYdFNdZF8q5U2C0CDV0y2tGvmyAcxo6E9T.LHT4_qfXR2o463AZNHz7JcOTVfBvjYpIIBa5l9IaySv8jK6_mKvM7O_sJrXUkupefwhSFxhxsCk.BnE2..v0hXWmtl0Da_fy2_lf7wXvDeNhYTEn4UltI9v4I2hotO9sZER5RPoE4764io.rzaWWXP9Oc_b2NkoMN0EH7r25JiDJNYsbvP16Dut4AtD43JZNXmMrtIgtIVleqaVSswTIGzUr.Nb8vCSywiz8zIoYYw_JB_GdgQ.YqCkFaoDajQGgdd8z6uEXNVnw4XhjRSJsQkBKrePNuZfleuP4hT77_UKufQD_AC8mK3KXz_K14xvgaRXZRZl.eMtFForYSOfsdZ_oPtxbrqDcNUJrKl5PsMjdN2kIHoCfV30w1.RyI0SorStMM"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=92e641e1ac63f875';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, "\/1119.60073?__cf_chl_rt_tk=kOW.r7oRaMH5xDGZ9wKNwFuKm9njuqk5JPmxH2PlZVw-1744330189-1.0.1.1-Yr5z5ZZN2Oo4ttP5ImvN1psmXZxoifappqoviyziXIc" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>