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: '92ec2d642d748beb',cH: 'lTb7UWPv5KrrQLRDfR1SlqOByI9k0COt1203.PTb8Z8-1744392264-1.2.1.1-iYAfYcjdqPnGaXpih2U8OF0quUc7DO5ZXDuzY24lBEtTeOC75UJqJqv57qLdff2Z',cUPMDTk: "\/07990630?__cf_chl_tk=6GGyskJuyKIoVvs28O84ECic0zjAN2wOG7TeoZ4b3UE-1744392264-1.0.1.1-gixzOzubXMp7PsYQ3_X1lZP90EZ_8V5BSq6.mq7KtFY",cFPWv: 'b',cITimeS: '1744392264',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/07990630?__cf_chl_f_tk=6GGyskJuyKIoVvs28O84ECic0zjAN2wOG7TeoZ4b3UE-1744392264-1.0.1.1-gixzOzubXMp7PsYQ3_X1lZP90EZ_8V5BSq6.mq7KtFY",md: "Svv1a52q_w1jJqWFVQN18_WGTkf9b3NuBb079P5cpWI-1744392264-1.2.1.1-7p0ZiyduwV4M_nZgAxFdmWf7bOPkc3Be69wLFCejSy9qZZu6VolQWfrw2IgzdVLL.kqAim.POtTX0eqEukTrC7RZyXPRNPpuPUqhPW9SdVr0OyzYidg4f8rUHwY2U.kP718SisGnVfQ9PBmZwyPQ3tWTcJ5iHNEml_pxBBpq8OL7Pb_y6I4HnmyprSeRXCgTJFWzSWHlaA3e9G2FjbXDyoehS2EcqIr9TdaGEnBEc2bVf090BJZA0_8uWSLLcQX9DArCSyQU46T_O7XLZP7KmpKV8Ej9bcOli.UmXeHiR4dHD_0Re9WF0UQoryySPQ9BeK45tbPLy..htB026VPi9Gq.pEoTkZb9YOuPJVv6XcA_QqfhSAimgXzmXlWbwdkWPvDcnTv1zCIh2IGt5aM8Gy1CHrIwCEcLQHNf29wUBQEeNhjL.3aXbOSpufHJ47l2484sORPZqm9epYSWJmOi1ikasij3xsfCWsR6PHtUYpBJ81HHYGQgDeBLD3qiensu3UFADkEH5kFKkNCTHZrdg6P6wLsPsPygit7IsftY6pL_7bH5WWNSQUt.GKDDuckl1CGVPTb_8sdxJCCUuzn9RgyhWnquNbQdsofDsWKbcrQFPSOrkSeF4w.3gjjYnOxrN5krQ1A6OZiJ92rsOIy5mqk3cPTmsGVAexQ6HWbPvLYuyw7ahIq2eBqXsCNu7m9cHQmyetW2LgI1TTXW1ukKhZuaWKh.zPwPFFOfEB_QMAf5GvxIWySQzhhikIvqS4RzXzhEYCLefcdc26NSshmP2eq2X9hfbKFB4Ch_gFJWgF1OrCONEUS4ktMJpzbyGaEpRM9dDv_XjwwSilw14bmsGbWk6EY0JpoCY7SZaPVHTttgU20bXM.6qe6_RLkxEbB4wMh_780uv1ypArS8gVr1k69329I8CdzOOiKDlBkAdinPV8XpjYzLzy7VqYRl41FPUd.9Gi1zZIkN8hAnCUVpp9yzudSBcvTsexZXxhJceQigYF8FiyFJik9m1_5FV.608GIqLWHQlefS1sJU.y5SWluqxcViHTHx3rH1eV768T7zt_tMgqe9KrS7HjFX4agaUhRrL2GuAhO6q7n72NEzcWE0uNnSHhccEEdVboI5JJBGOA3HBmrGwTc5Hi6CL82ZXSDP3jG20djytkuobG_w92xVEj04_FVpR4t49Wsw9xEiW9jm0Wj8cXY2j3DLiQJr",mdrd: "B7p_QUBwWg8wMdW7g7.fbP7gcYjHPnZF5wnHvfUpgBo-1744392264-1.2.1.1-dOEDvi.p0kZhcrdvUo.iwZFBR4rcBDid4DU6CJk3HNLs2ryupRtBzFmUgJQu_EIHkLMO6e.xYrCtpGx49sHAU7plRWTd8BhdDXnbnUNscst5rzqoX.E_WmPZXKjnO6_yvKn9qgB36vzjWxk5pOatxyAaGUlyDiDsw1jiR8jfnoDpGDwKW09DAtA8p7u7hOvYp5qdQqrx.CDnAmH2Gb3CrPgBfWzref_kIy0BsWU7.kxq0Ay4N3cv8v3Hc5mMtRAU05.x1pJKkfwjLxmOPkQiPemYk0o0RN8WjkM7hjH5PnI24MEKfXLWSw4iROuW3IPST8C0uIb41a.qT2AZ1M8WZy1oeoy9_j8MVF2AwaR79SJE94bEYGn28qGK.ti4rvYNENOBdsruJGc1bXBDIgPyCFWtn8LZ8nyc4ej9Cbl3oVKtjTGUjtHpIAp8HRKemLsgBgYwEY_wqGZr6emJlO6LdyZEykOdUFwbR.XXetCFa9S_Nn1ryDmAWvycYPMp6efQzKdLM8cYQIz6y2oScBDtdwDlP7goxa5FxHbIz6BcDhpffMSDtbJLMxqylekNmkXU7v9fZc0kB3kBBpTXyfuPEINSpM6pQxvnYAXtRaGg_ciaDNXUHCMA8DKWsB5EsO6K6zxk42MWNISDFSqclwu1XGnIRAZV6BtOrloLWUkArcZXXK8klHY_z_whWfmgaF4hTBbhwQZCykTp_0LmVgdnPLQLgaK0Zp8fu.p4.yYC3jAuzQtGD__Ln.zSDlOhBNoV3RyyA4qeK26hcz2R76Fou9i6xONIvH01KPyLFWLTMFVhz56ar6vbViCR7xGwtOX7JWEvhwH4v5pBsAfRPzURkYY8FlXyrB1GDgeaOS50kdYjyFCP7.Wjq0dNzIf4vz5hxNBBtk2Q97nw8eKcDuwbdH0UxyvwACMQLi3uwsEkszl1EeIrceiiolfqdcD9ockRUllMPbuhiahxLHHbNHNj6tt9JryqU1WA9H1aAYxP7zG2qJaRHdHnSQOd5fwYldC2unAi2U.oFu91fnY1n_WIgX64z3dOZXslIGnaZLQ1RLWcQFKPj5TTwncx9zmYBj.8ApuBQP4HwaYeaL4YHZsj7B7Pt6sDOWKqm_mgLrhXWp.b5hfSXhuKIb6AHxb2CYmU_VVvsOjgopT9MSw4KolQLDIzaawW33LXEM2A17BjbPeZ709XCVuTvpQHgS5SnobCUe_ksVBPGzjO6qL4piV_AEdkDnZpfTNiCT0Rl_2HEJJZLa7wgIr.m3XDWKMH0HgnCVzm6o7kJ5n2m44RMZB_aKHG04ctHE03fXRRauolnco1vEL1qbrvcATMPVDvS4la7YeuNnT7orImMKd0_uMuD0t3CsiVWH44mjrJaJiFRbmMe2SsNOFZfb8.HtRfhzogM90gY8ucxd_83Op.GZro9sXA.ZW6LCW9W7gh2pyIGGVNLfwdPSCurgbVs82z0HFKDIQeUY9mzqhqMlKFEKxAXziDNUYARdOTC95cQM5yNbfOAKDPmDKwakAjjOLyFvWkYZ2Rmi7sP1B0OZBhi16Rk_cWTdFiZgGtlaaHi9RvdWcYPoj7.bLgX6Ug2UwF.Lzl742J5F5jeSkLLtz0Q7ICtVY_0RHtx4ImnPgNZfC1Yf1U8.WF8l4YpM7aCScQ08B6Mn5NqJsGqT9HFGIWKp25mTVaq2w5QerAyM5W_Lr5kC1CDxC9CEspUXPf8osfpg5QDKYN847txSuWHdBzRDVn1hRLAr6hlwXkFas6Efb4INYa1.uquY1TBYRPF1zNl_S5gqTp1k12jk0SnGzpDsbvzcnO5iG6ut2eihrg0PBbaLssEvd8NGZtrvRI.6hjrJQVmF.lDkfPBCHIa7Pm8K4S0ML0SN8ou0dkWqKQR9q1CJn2xi8g8JHNM5dZdJSXnEpYAJEQzeUu_w.jbcxPwwFdui8sOU7rcIoeKmgvHsQzqV8sn1TQmENBZtmBs.TuM871esiG_D1pH4OXRFwHBJ3osEoJDzqtXNp0ppyPzHljtSwBOpuaRWdu7l4OH0iwDtYeNAxwicdFKQmFkVofe11M0w"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=92ec2d642d748beb';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, "\/07990630?__cf_chl_rt_tk=6GGyskJuyKIoVvs28O84ECic0zjAN2wOG7TeoZ4b3UE-1744392264-1.0.1.1-gixzOzubXMp7PsYQ3_X1lZP90EZ_8V5BSq6.mq7KtFY" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>