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: '92e917d69eb8fdf3',cH: '7Nz16EFtaS62eYQnqxUhpuBUJiiGLUl3qQbXeNn13.4-1744359924-1.2.1.1-KGfbQW6RsrXBjs1yUTNBPo0a2gVdXPx8CVcFMVCsUM18V7KtAjCRonP7IGFJuK4U',cUPMDTk: "\/8020903?__cf_chl_tk=8BdgDRaQpbxXlUHyZxgdiXK0gAuYBVG.qIShtLafo34-1744359924-1.0.1.1-fQrDmUWAgxpSvdj_b3PukZ1ZStvra815DLHI.j6Larg",cFPWv: 'b',cITimeS: '1744359924',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/8020903?__cf_chl_f_tk=8BdgDRaQpbxXlUHyZxgdiXK0gAuYBVG.qIShtLafo34-1744359924-1.0.1.1-fQrDmUWAgxpSvdj_b3PukZ1ZStvra815DLHI.j6Larg",md: "MnL1u4yivR_K8Z14tpi7JzafuLOkAa1kOsYPz6LZlU8-1744359924-1.2.1.1-60_.KBwjfjv8VoxYHLx4LG9IEDm3gOmdfXgvWnwfs7HgsFIcBh8sBUCKSzwDvs5.8yezne9Vv8HGm2XRjEkr5zoecvr.SBBI4Rz4uV.Ea2tZ3Nw4raDoPy5GsCN_eyuoO6MRK4PszLGCVlnn1pgzbnG3kOhO2pV71Nv_rTtvi5ryu7kpc9TwzQsRYRRAAWbgLkhnZIQyqbwGc6ZXf7Uq3psvZLlhSo5madqg2yS2KvR8m0gr.nKviwRoOiul10sr36ru1lAu._pnYM3WMTKDFxsqrcRUS5gApa08cx_V98MpguBUcjhbrJFZUxwnTR.rqmRzTvpxbVQhPoHSvma04s32Wa9L.KWEi3HiMKQBmt3P9eGCWPUltPbknaGNgmu4lKEUoMxHUVHPWTztCRdZaDfvvgwb2pjCTczicz04vVVBNmr6KhAyZK6gT2JN3eSWcd03f3P7Vw2UNULDR7JA3uIEMp6lTw3ZDiqC1XcTInsOCT0BC1qrFdMP_pywIxqYNRzYFbFiTOZKtGVhZoTbyBS9NcGe.UKSbtDausMnmp1DZtOH.2xyJklfJwioU6FN6hZKQOE3E7xvE4Xeu7VePA1i9H21wwANmB0pUiozcWnOSlE4T6JHJ0xMjENv6jXQ0fSZfwv3pqJngIwYxqwTiFJEdX7riTQtpZh4N9UN_bs7H3PqwQEJwxDDCF3IutCeShSGEGIPYmKM.NlY.KiEz6Go7cM16eoIi5PaYUk1YxGEDm9pouNv8t5GXTepes.0feVSKxV22nuSVCHuzTARdnWWXYds7FZiuyGj2or3FR7MTZTbAY6ubzhnpIpKDEFaYSv2mLA9Z0WW9GElK5DxOw5jOsxTa1XMm1RPCjl6xn9g3kvn2Xtq3Bikw9CsPvr4sPIQ5Rjoms3a2D.Fk1_JbOIZaNsC5pLtYFQnDX6e9pF.w3dj1A7LmEn3.rFNd93qDd6ALF8Tj4ZAS.LFHnhxkLuPEySQfI4Yw_udb7gNOdkuvEREFdzExAalHfKae00.PeyK2zlkJE4egVuPIz5wTM5VoD8Q4z_qTtjkgCFTJpcNqItq_mql8hExyXstTqedSTqPS8_.FK.0Ak4SdDgZ4mKva_yChqZgIDaamqa7KnuOxoEVuh_t.bFNX8G2HS9w6MDCxjjQAcU_ZS.UiI_2oe7O0KmKgFbRceDfEViS3VY",mdrd: "GVtmQ5cEXtgohiaft_UnINvjvq5_ahtYWAW5iZNeFn0-1744359924-1.2.1.1-JRw7SZ3ouiPtDIwcIaFs19iB3oT_Ikd_X6QiCeooZlIxNDRkNa7T22mbDt3PnwK_oLza5kwp4ywlh5Q_6jqQxtoBTyVPoq97i7DtOu4IW.JlAAk1wH_h9rQQZxW9bAq9t6vdwz6RjPTFGw4j4ka.cOUSZ4BYRDUUvu9or0i.cDTZj9Ys0VNaVXcEWriTVYBmoO.NWNBsq9uRwW6Zd66GL6z51NG7jB2rzMgkGLEo_7msAhgzJR3ov4YX1ar8bjmYY1KEisA_o6cyKjC74Kxnf3bbOs2N4aVH8K6BfM93IVDMGINhu9pz3d.eZK4feGnGUBZ0vdU4I432AgOzygrfwS6UkbReTRvuMk_caQmKpNDbVvaHrcazfH6hRC5IPKSGje36E94_QhvnzlCZ4dCFB0ZeMJ8p.ZeTiBNWM2QLUG3wc3x5cJseuSrBj39EBaCphZaQSpLpR438jhTHvNIYovl60mZB7sFIUU1VDtUyVCJSAetykkfhbAB5FTkjNKQNosKNo4t7AgNVc1M3pJymMIYsfyINrUrkyYPlYCLD3DOAJMqWpHBiw_lkaQENGNyvwr.xrNGVdv40RVES4kKlQ5.YRY9GJ3wEjVBy8OLfMiFVsOhPJPGCWyBuoQDAtsYQdQvOQQUsVo8d2Ues7a3Zkq50JnJ4xgyXRKopJJOpt54g1mp8LdfQpycElRnkNmi.twjo2QkqMFry5RfJOAVKqxirz6eAqaZnZhS8.Xd3yMhHq33s5m1tB7d00eG4X6lDXN76vl4sroO99xksT88oi3FhbXjLYW4HJNNaJzHJcKQ2ql6Wxrr_xnVzyJUre2oiRQdVd230K6K1m54FoHNEEmjsLa.QCRLG3ViKNdLbFKNrJ3bmHRbCO8h2wUEOGRSrBieOhMjVYVsqmSAqwA4mPaRQuHrpOcECDSGSZ37nlxHxqx52GlYlq1Qs4d6W39tLs.CVa71VAZ7VCMcA4ivvy9kgX.Dga1etO4fsJGqYZQHbIA4lb3aKViaUsnxonA0eXSqgOR.5pIVvI7iR_zTceXs5zX_ghD0cd9r8yGsyI0RfdZ2qwPtzWEZ.lkDNdYAy5RCZxGl7lmeWLc_41YAwLcnK0jd2I4rspzB7brgXMoG6WM212dIVNEiefTu2DpEWTytHIjZogQ0Anh327Ttt2FSwQwphAMfWtgJ5gBC.YXlST4oVdSedOKL7EdnzQ1dzxYoIzetOGzFEFhV7QZlGqWTal9Cw4UZnhMElACU1gdF_BNxFXZdOH9JJUwdo_TYK4cgodvifSlL6mn2M5bt22S8y0rpq8c_O_SbYW7k1S_ddJqeMh6DCpADupvTjdlkXT.A1wrU1eT_WzhIV32AnbIGZ1QPeZLxdc1y.MqbfO8qfRXjX1QVhtDaR1ZJEiHSwuqe.sPaxpKQaMHYSC0F2uMp5XqPp8fWGefJ887.Z_btjIZtaQOTzrlkyDmk27DO.FLTAH2RYnzlUaGDIKiNfQAv93DOpxCTIeWAnaKvV4ye1dD7_miXHgnYUZt3_8llge.8QjZqyAH5zLkL7FbO5wHlPoUSKbmh4XsrEitLSCn2g7pG903DwW0ORL3solLtZ1tjV.QtwK8twSpfTtamSE1jhrIfJxIMFiFpcxkt2qKMFC9Acy3CiO0MR7wG0sDOsNFytpL6.vVPs8Oip1FzYF43OCB6ljLVnw6z8uafX3b6hOnANjnVrti_i5EC9zzuRwLoZvWb8se7EQPVEur87qIXIYWZvV7a.9WS1dG6aZJy7z7QKEVsju1Eysxf3p8TFf.rUIJKfHvq4I5rn9yFtO3VwJJcjnyJ7.DCvOsoiMbTHiDesL5Lf3DcmU5_WW597Yx3FESvAeZd1NkIWqylBOWR2rpUlmg8pDaMW.9GWeYfSxJ8y.mxHlV4o.D19vTZECMwYuOm5pw1c5ik.HaMXgPrVuwuZYZVtoxPzfMFpQQ_XxXvyn3rHMlJbpFlNVJzOl0m.WBvaaKtREgh.y0CO4_p4uEId1fR7Sw.syogTD7lzAYh2rabqtB7MwKAqf.8KWu70hM9XrFK8aNnM6UVWUCz.5hDH.iKCVJhBteX.vE8"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=92e917d69eb8fdf3';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, "\/8020903?__cf_chl_rt_tk=8BdgDRaQpbxXlUHyZxgdiXK0gAuYBVG.qIShtLafo34-1744359924-1.0.1.1-fQrDmUWAgxpSvdj_b3PukZ1ZStvra815DLHI.j6Larg" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>