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: '92d7c0ce1eaf46f7',cH: 'jfueAzQ.2QfbImq2XA8u65FBuVMfA043MxQys4zVYIE-1744178101-1.2.1.1-.S1aQcqNqYNmgWDAfkWmXgaMGOoUcvdzEwZMfk1DXqlqLsCpJyvGsVsxPNpra7tx',cUPMDTk: "\/1407.90028?__cf_chl_tk=IBMYDmTdDq3UkbNGLUmZNSRelblp.hgb1w8zkmzfJTg-1744178101-1.0.1.1-5tN3pvK0aVGmDzOLplcxfmBvnzKeW3g0IhGBRCY.QcQ",cFPWv: 'g',cITimeS: '1744178101',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/1407.90028?__cf_chl_f_tk=IBMYDmTdDq3UkbNGLUmZNSRelblp.hgb1w8zkmzfJTg-1744178101-1.0.1.1-5tN3pvK0aVGmDzOLplcxfmBvnzKeW3g0IhGBRCY.QcQ",md: "6fTHFvpadaYSXORxghPIBpipHCxzsACvcAi_hfo3ymc-1744178101-1.2.1.1-2a1EmnbKn8hsvAkz5wBWvbXn3gd.p.vddawRlAxvmLgHeWS074XLSmL19DM5cLIoihYBX8AXkFsQfv01GzTjmssJybHfAnPy1SB.hMnNy84h2LJ9JHhYVxOQIT5K2DTKHk05AUKKCzpvLXtQhgMf2JjENs8pBPR37Gy148w1ntZ2co_K07eV7uMdtkXgMO3vVKZdu3wxNEPObYHBNcKTO6fiieNkV6snHe5obecICFDPU_xCq5mVxkYxWvUzP58B7qjwcG07OPc.Q74RVxinEhLf9NNa8rFAp7EnP3J3iOY6zG.EgCpD6QaBkDuN4P2D4176fNkoiw6csquQE8SB9Y1_hr6QfIiwdB5ECxrAngWuZC0CvYfxqFd9zjRtPipXyOqA4L1DHdDbj5NZOn6ZGoT6W0.WB6JWKoIc_4d3j2KSbqQj.Rx7VjouJqzaoDds1p3ylrYcfLf6oxuRbX4WffRTqnLI78WVH19Y.pxVGH_mYQUtQQ6RDlQksfhifbztk.N15vzyN83bc_qjyGI8h6XxqP1pIXT7jmlGgaAotwDy5hiUXbV56EOUG42wH7nrfkCIi42QKDqdavffod6hP1Ad6k0xHpSAUiqeXJ1quGg84zajLQ_qaW3yWM6.nEOh0tBBHSkgHDufYBvkRj_PUngqPtzL2XaE14HoiWqSFMoqfUuejAti07MZpcmwGHvRA0j01oagpvgls8pJRIg5ZxglSWUYbmv1_hfpz6x98c7CkAuzRGXrpeWhNrpPNXvJfJhL5izCCvWJy3QrT2997qV5A1uOtteU1kzB1FcFjOlz5xd8C_Wt7eRF8fA03lh2gGMrXr19f04pKir4bCUEYIigNgZDHudqp5XZW64v4QkgVGGdRkezcDKRp_FaJzQNpUmjIH0B2iAGAoQmgR0nMhSEgl8R990ybroCKbvg3bb6iuyoRMal1wP_TzjTJXqyxfIovCRuePREfFXW45tQpKNYb.l9KDNFM_yekkii5_Zy_Ol8WDkcOmUu15c_ncQVFFD1nXQZz3ZSamJvwxOLyiybLAPrg4pDfHUQVNDWfaulFwcDQSwcs5Qay3EjBwbna7a.58SvoRRUAovSKF5CBtx5qt9tvj0g78w3JTDjmFsTuYkci3dY6pPnsMKVG29W_5Lho2F3cuopG0xbisrYUYQ_EnbRkMRDIn.Di351TBKGk34PCJTJxJDhDyIleUOY",mdrd: "pbmG7DoBPyaX2dTa7RqBtaQ_U7VzL6KHKBLZTuBxDxs-1744178101-1.2.1.1-xAhQkdgs90srzOIQUfkkO7BWlN.a7.ZOMK2_LAyWdQeiH6BF0iMs9YMJdteIPvkKiUqN75d8ODLVhfDaHM7MxddaD0HqSN4AFO9Cx.qwWQHXsjEW90xzLRLnxajjVq_FmaSC2wYCaG0TyrHRUtxNaWHq0wgSBeuhWcg8HKTUd32vYqb6_4x96xfFU218YopsEwh8ZzJUJ.IrU0_rPnqzxbXWydy23hLLXeLz75ARVC12fZ9MYhuQqrJ6yuEmZbQEQSdraGaa2S63CmybJNbVXgu5EXwPK8kuE673ODiixenqPqATmIywcx2IJleO3rMouh8N38IgRVXk_kD.hev2p2KwWVugMlhUCXubiOxT98W1LwtvNQCa06dx65cVOMOjm3FiEfWanFxd3v3g2Oxh2GgcQHO4k32yvv7rLSilOnKtxyNGGpYJAQOI8uQ8sb01Oa9.fYC_SKIji4AKWzva_kNxgDE7Bqk1EFmc29uv5.5vg7PXR5W3tpr4i5y.kQzDmr5qXFB2Iur8Uxu9gHnwbY05r1KBSGasU3XO5MlReIuJgCDT2P70IXnMuI.c6QbdzL51b6FxvJNlPWSYDAgVjMSDQZAHcibmRdMMa7BE1q2CFkzDqy49ETY__y6ZeKa8DZZ.fNT0RoVE7XXgJVIUla8UfzF7sDGn3NATWw9gU55IOe9HLD_5m6onbdhIXJ5pJfa.DGMDmT9qsSDDB2fHVsykZ6sHjZd3pTIfjdRnluz9lk3AJSMPkjpEDJDPFUWepIGQv_wUSRUDDXOVpgbr65R9V5RCDmbaC8GTWb4CVVvh5pq9t3sKbkQMXSsPu4FYE2_R1MTZQVwucpsM5D88yoeJ8pAz8p3_XCKdKclc6ddxgt0TVdOhRA7wKK5IFgz1QqGRr7XJfsgCQqPlVGP8BZREiQ.IZO6texCLA29ed31u084AzkXlGNnev2kPlv02WQmCPIOcmnIvsEQKyTkb51L0YyfuNI.O4SHCzW4PkeJbOW24UCMl9x9LPX7mQCzDw3VyupplbisayaEM0LpxC6LJjHwRJBDpnm73_5f0J729oyyF14C36AQTKrAcdi52A0oIY6KE5_tZYjYe1ANXShJpVBgaWNzAd3K9r.cW.PUi2ZPh1z804f7yQxvNPSNRn2CTvrsthi9CLg6Iu69MU5g8fxVihCMn.kvi9KZipbNwQJMI7JopsxdtWOf2kU1g37ehLbV7wlzamTnRtjOqtc9Y0kIp1sy2NpnpMdVJ_3EQQ0Y4iJ4zKL9Z2AJAOMYBCTg0YlqPZb8sGs.uqwunPHJv94m_Ww1RFFFfVRzjjAkhaobpJgJXZ4lZYAWsVmpO2mEK1k5uSIgZSebqPyBddt2An_wPWFkJdOS6eDgU.ekKQog33ikh0IfSSjepLvho61QG2TW6KegdpKiK7YnPzh1UIoZTJTY8Yj8AvAXItbz_YDhr0yPhp9sYdIiem4tculGPmbj3jMHk2Ue4Kc_l7D33tOWkBgtAQL9G9a0KLrbk5t_Xv5zXC8.9hOy_YEOZQqBq9ipKpS8LRKa99407wI4jsqo_BfKmMPvRy2JHqgzFbERsAjpGahkJL4V_FleDTZT4RVmgCqwGKyFeNlal5LE35ISLYyv4ZpFUm22zrQk8.N1oAWrBa1MGJoDuuU__4nKBPAziT9xnPjlgXr_mUI2SrpTzEtV.7ceAWjiujiaOMwA9PM9YV55eS7Ek2SrGi_3alz_Z.QI73AfuVoN0K77ATuniNxkHZNVsnQ2GgFGXwcUE6K5EZN4Gdz1.F9nxMfvmAy_jjd91rCZySBGg0ZTp4aK10zjR13TGnFSUszSQ9sxnpI9gXFS7c8Msu5iCzcRchk32myPXpBUkMdIRq4rBpwHGVeG9i1L2oukddV7U0_cpmcpTZ2Nf.KrAGffV8.y7lG0ILSeJ_q4nHk0B5ZALdolB6RY3.WfMWLtJ9hdTrGYH8JEG_P9RLuV2iK_1Sx1HytjqnPfe9TVkGbcr2QHJ_K6i5vBrGkYf6IBHgyq3ByppoqXvSwN5OP5r99_XrFTaLD.rSx.Lh.XNslavajcQFvVUHAfCjhnVQpmvvZU"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=92d7c0ce1eaf46f7';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, "\/1407.90028?__cf_chl_rt_tk=IBMYDmTdDq3UkbNGLUmZNSRelblp.hgb1w8zkmzfJTg-1744178101-1.0.1.1-5tN3pvK0aVGmDzOLplcxfmBvnzKeW3g0IhGBRCY.QcQ" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>