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: '92d44b51afdbf884',cH: 'wmeVqKV7xZFp_o19r8DSdzZyhPEsNgMVoGasEuQGcKo-1744141831-1.2.1.1-r908fktbjxzL0MJH8q0QY7tSUDQlNFTin8F365tB5IWe2rft6.wmWSV7Nhk4ODzL',cUPMDTk: "\/1358.81022?__cf_chl_tk=KDVihnkKWcWcGdv95z7J2S5DAgRIjaGCNAvAD33TuUY-1744141831-1.0.1.1-53ueQgnP_zuXOmb.BuXnvEgfnsZH3HFNNpwSuZvj7tw",cFPWv: 'g',cITimeS: '1744141831',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/1358.81022?__cf_chl_f_tk=KDVihnkKWcWcGdv95z7J2S5DAgRIjaGCNAvAD33TuUY-1744141831-1.0.1.1-53ueQgnP_zuXOmb.BuXnvEgfnsZH3HFNNpwSuZvj7tw",md: "F8O9Cbnc1RWpHn9epsAhKr9U7laMjauOaNYs4zioC9k-1744141831-1.2.1.1-RkXmyqIiO5QMSYTsklZ6NeRaBuQX7x2RQAdmzMW5w58dzTaKAjvCAx4uERN5iwxArGZNYbSlnRhZs1g.k6ByNAXbz74Ej2IMsXe61eCpfHUaHyvupm6aQEE5_o0LnsMcBVrJ4AKbtGYmuHIr7jT.phhjqeeL2ijAUKY5nhDfYjDoSpkV0l12JaIw9KMWryhiFkfRGMsqv2.qqR93Hkodv_Y43EIS5MXnRCjsLPejCPDde0Wacvp06PLsWoMmMldQyaORDnfAZng7fYFeNzd.la9qQ7vjYFw9Niqe648x1BV7WfWYHOYRZ.tcdliPs5e2SV7AVA547znkomppmG.3E8VunV8CcZKouWhIsqeEdKErZULNWDEzZ0hVXS9EUGIXUd0GwEHFJbL2Y2rC8jt_OXqpLWKIxMgdQPv62pd.8aMrWgSIMQPRsMdaVscJeXVMi05WQgs1G3JzfuEihbQsijz8n.C0Q0Kt7lPnwv83PE31Ugy3i9otifYyKkc_FqexqhR3apwl_UZEWlxov37uI3fco1cSJqLpzDkXLdPDJ3Kqk8xy8Ql3EGWfq7G98hLFW7iT7LZAjPAcVb3S21UNad9IVAN7GoVm5RS1uVzQyEPFXVoFWKl4N5VywjtIbSAClId0ddhJchbPwF9TXkdLDh3LaHB.Si9hTiq.Ysg_Qou6lYzFtcdORPindbnkFuzMlINu.5ssbyvm797XQrpV.ijucMJSeWnPDcZfm51pOCmuDJR6pTdM4YG9qwVBhTYDmI6aBNttO2px48c54QcG6yc7BIbgzNhWkXXYixmYbifsPR2ebDpCXtLNUA4qbQ7TGrsf4x01_xjBTD1HBP7fOieWMUzTWYtj5CmSCN.l1brrSuKi9Zkj6R0aGZ0zpUc3EcQzGj6kF8x2cDfHxPI27xj..H_2YZMFn2MRT_XgWJRrC1dR8JPcklfnTSuH3v7tJ4rQgNOex771SGGYXNQUFPDyAsiGtgcqQUDI1_inhJYHzQEsBJgWTCdp83IH2Dxi4uGliNDJ8oE9H3pHPrmUhebvXGrWvSmKXtdVcbSZ6uDoIzlF1Euf2u22.m7VhYd8HrCPprkdtuzEiCty7xDDmIkcoPIySb5tsCF1tpUM5rj3u7EmzTCTXQ8TDoSOPmdkWgPLySk0fZVGMclQyFbtGGg6Fnom2OYy.2VcKqJm9Kc.l38IHBzVkq6Nifa7oGzK",mdrd: "LvhRPHe0ofZGqJC8Fa0qP.L.G7DoeOGCgZZCpvgSPCE-1744141831-1.2.1.1-j0Nj.mJ_2Bo1.C0A_zBCdBy36ZmgEIOMwTvJcZ.h0LHHCWmJ4dpgi5Dqxn4E1rVbjc2xYxek9w8CAS9ZWRfO494w5IoDTilFa8FqnmwPujOgx3eoj4Rouuee0v3jpuL1UrFmDRkJRwSHS4py6DIfmdVGsCcna_wJxmwcVppqjHUghuyiGdG0R5ueK4lFs5ERmEAg6cu8hkpB4XV0gsOv1NakyGI9t7zs5TIetNoSB_d7.A4Kl09FQT6hDWj9kE68N_b0SutKaYdINfcUocHGkQRc9ID7AFlrY1IXCoUbNbCLkmm4z6xWPhWllllajzj99h.oPNmdXiWZRPyAYgrjU6SgWKPE1JmMq4a7ZZc6cGsEFooLCQ.XSM2s0OGgYz2ATQ.Rfj8xgXKhLU0WfB5YsSlw7S3prlyRxrP4PAF3HQXOUZj8T7rUQ.TZC73C7CQpQSqvbY31ptkx1J3pjHtfrZug6lsriA1OSQcLRbOt39M3yRugmMNSZsnbd_WbEUhU0D60wXUhf5Pge9ksgYUd.V3seI0n5HoQIOtfqObHGC_sgkyFu0j2OANC4J8lGCLI0mBhGqbHhMKKowaRDfUkRbQ.eT.6a6wVHR6i..cGRPy5I..ZSPSJ9D6R6l15z4dBbwTQoE7GoUJIKdo76..awsfu3TcEokTF5xHmyfHuav2Zw5thzw8IWJ_ZXzN5J76BW3ucVNyANVC2TMuN8uIZZ4qyG_SMq.51msi7eaZgmDiLuwLOMWVo76pzSv0zHJBR5Xued5ci_qsVpFTM0_AhyfBcKeAAAvviBK0XRgiH_2W4_bbWmo2dj0obnEnH0NlEb_HbAxRJBf_rzDYzZI.LvUB.c_ydYXWXO0csxknC0n1pK4Di2cj5.k4mMRxN__zyuOlJ1InmtFapDZKlBbdN6TKSxZ53eIVdBH8MjLAoIgtDin.vXvG3TrfitnEi._6PltRqysrkN8yZ3jtgvMbEpLEz2X_m7PRAlqCenWo121F6XjlgnACAXXtemFdCG0Zkw1jeZBM2kIzZ_MCSHseL1p4DU073_AqHcpo6Vph0JAJAecLTqIIORb6hN1NT3hTXqf3_o9hgWbaouuNUt6Zf9rnGrU9.e9jcC6iAEDasIRgGbald3VL65Chg2SfbgYcMOo6iDgdow82kQyJww5G_qxZkXiCbAQkyP35GXtQAkGIVOcsfhEM5wchpGxhTvfQg0INCNKQ4JeXFVZGRqP9UqdNk0TzmLqhT68vtBxhNLe4qItQG0t9mFdCBR_FNPpnij.aRumCdA0kCWcjIVIh9e_d7yBVJmfUECgkvxAYAQQs2100rCUZIRIhoaZKprEoKUdynQtesaYLSHHs5Zmi39ps4H6jRbA7U4yJ_.Al78E7Blz0MuACBoZbisIltd4pMts7CzR3VnLIJrOo3P9uJAa.tHxRwmZy7PT8FsmA4BzRtPaqTfeOyLZeJZuwEAys2i4rCE0kwBAopS2_wqtgfLtWMqgNGGC1Ne9Yc.LmeBffb5ewD_KYNwNuNlOEfuVep8w8qDyXVVRg2LD8V.qVOehqEeoEXEfbSWXjqnMVyseqHSwIKJcT1GUwkYCRz8jtcIk7VAn07behBpUWDdt8UX3ABwbzFd_R7ALMri8lrn7pM8iVo7quyOU0sMFpo8QF1_3E7dNZo_7fmMKgTeigUl97hpXsILgR1rYk43HT8NWuCEJt.tZsivKuxyfYTD.6z_CIskBSccfSKu35ozUCgxO7E2sDiYkeahC2k69_h7K0u3iHnsGUTjOICIcDnSTXCzGf8JS36UuM2mjsd5u3Rhzw.7VjKduumur7vrpY0zT1VN1BbEN0SjejrAgkoY8l6WzJLelj49Ax5TgLwx_cDkJEg9ylV7Oz8v56h2UUJXSHW.fcWauJMqrr6M32BtvAey5W8YRvZJq3gbN243h3PB_peC3.EyrMdQ.wyvJ5xOLwL2.VnMYD3FrXuZXBInStLm6bg7XXBkVBqZDRViGfazm.cJkCwE2UDvrhSo9UzG4IExnd440BNjdu8mH.yjmXmIA9R3K94WwOkQzMsNGCxkA"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=92d44b51afdbf884';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, "\/1358.81022?__cf_chl_rt_tk=KDVihnkKWcWcGdv95z7J2S5DAgRIjaGCNAvAD33TuUY-1744141831-1.0.1.1-53ueQgnP_zuXOmb.BuXnvEgfnsZH3HFNNpwSuZvj7tw" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>