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: '92d329fdc80cce6a',cH: 'HSFPG1o_gz1waRUggKFqd1SWewmfHqsEfUPTVnaQATc-1744129981-1.2.1.1-XckFURmCfu.ylMM3hYEVKMc6HbPFg_0uSD5eB7sefztBs0quCdbjTrcwo1NVUPTS',cUPMDTk: "\/?q=ut%3Acluster&__cf_chl_tk=uz.Z1gfz4zwHFJFCVtVRCLQqaKwfxqjxLlaWg5x0JAQ-1744129981-1.0.1.1-qG2jQcdHmjipRcupltP9vnNDGIXkdAVjr_i55yewrW4",cFPWv: 'g',cITimeS: '1744129981',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/?q=ut%3Acluster&__cf_chl_f_tk=uz.Z1gfz4zwHFJFCVtVRCLQqaKwfxqjxLlaWg5x0JAQ-1744129981-1.0.1.1-qG2jQcdHmjipRcupltP9vnNDGIXkdAVjr_i55yewrW4",md: "dpmDq0nxvq7jWqglLeXE1UTax8D8LXIynSD63FsUl4c-1744129981-1.2.1.1-nEU8yyxqF9OpsRhxdNnJI1yoIxAE.TQZ2edIcO36EwhGElTd97lSIKc8.DtGvfUd.cZJ2TbS96ZWfi3iG1gWzliY36Y_Cw55FZuSznvAUtYaEFwk.Rgg1X7QkG_UhEe7iF1DFoGxlr0uYYzhRM1SA8DFkUX53dsfw.gdXIwvqzdQM1XHmy8OXHGAz0eJknc3UU1pjRS6kqs7u6IO.CfA0P7vpVH95X3K85LfeS.sylxvWjvxNpKtDf.SIQLVSmIawl9ma_eu8y_HH.Mptjg_iPuFhpGX.MMmB.djn06QeZNEmi97JETx7tIj_zLx6W3F2fby4SOIraTaQdBjUwZxbLp8VLWzXuF2ebZJy2YJzt6fWLvcUTAjYWjFDWyRQKwqDdU4DmRWtbCeIQi6B2K0pPL8mdf4g5QK1k3RlV4YPSckmXua7Bgyo7nkMAE80OaLlgIUV516k8OoWc3S5Zge.D3UFMQ1X52oHNSEVaRuTn0flAkCbb6Q5hMoD3PGMQmD8bbnreimWUxAn8v7C.Z_U1V..5UYkyrXKzjNKTkyIBWt6mDDT2BeM2rAgAzAg8.bNmCxtN_ctqja4We9nMwVwc9ALiNmBCuCiaowySbfVbh.vvX8FFKUDROXNked6PvmeM.n30ckCh5uLi3cSC5sBgfs1aSXeJVTtAi_g7jjlARHnWUfhcJz1nRkU6LJogthM2qS3esJ5kNrXBfADyUPi0T91MnhLMLxp9Wgsqrc9DXdxVPAlR3XH0uHuYknYx.WZ6rsLJrkVF8pdHTlCFL19ETTwRU9N0xL045vMV0op6m_iuTsc6pf0Jg5hfjKOGdIw_I6OA57uyndPXfcSMLC6uH2I..O8ZmmNu9ikOWg1hIsjsJTU8aOmn0uW6_zCyPTMo6LZE4VeY7mb9dmOpaBu9oyDh2w1G_TxaBzLgbc5KuWKyQF7mWiNSM3NrfnUOCSkqzWwOkrv6ywpMqSstIJ_tgy8iQeEsGztK6oSuSOkFP1igYlytE6mmmD.sg9EqoZh6eQeJG7eKJJFP7PKkkB88wMPzuF4FXK2j_LJepOV6HFNnzQJMFO4EbdSOPsWgaufpugx_TfTQYTQKhGt.b.JTez9vkESd1ZNeIB3n0zIlrqZu_DQ._Z1KgQFPuALFWEkbbxqj2FSClVb_1iD.qoIraRHBfKT8P4HcDIJcPyGGItzvy6F74n8INVTWm4PO3a",mdrd: "rdK5K9jH6W0vz5Mh4Wt8UK1hAtywiuXHknjfks5E2gE-1744129981-1.2.1.1-1olnu5fY66XA5K4MYGJjyhseHVfRK_I80Nhp_Y6l2gXzI8FBoe_hlts0tZzYCElX1Ucb2TWPjzhRi8j1bP60Fkku7luEKs_Lww6ZHdYSM3SO4Yj1F6R8OsMRS2DRVPseTLtjcmxOcZyjEIqyRGBQERH.k8VyQ8S7tlomQj.GKw5j3Cz9VXbrxhDtkyfvZ2JqESnOxedQ8mMRbOWYAXBTsOhpIEOSoetaCTsKO1PuEAws9U9KVXgEDCrZpKZZ4X6cF98hhoVllcrajLVsd5EYKhfEjNicryGxt8qo64.rZTJYm.qqK_V7QmN2q.GwTC0DmWG4finr1cu82TXX9eP.lScewpATLWNYq4E8fLZS9SZSdo0KcNik.aIlruwQiXqp3L.PFH2IN2CRyw1viOV13MAQ2T7BkzLBnjn8G3u7yowkv2V_8wcIobA9nD7N1TMhT86Udp.P9JkSYCcOi9wmoY3lOOghJAe2kbjpNeji3n2kgG0Gzw7J8BrLPjcLBPQo.W0waxEtlr4KakbwpWvz4meLXugNGH1GsLnTU_n1AhQ0.WAXNEArpb9_372rZEnisHGfkieXIWwjwjm6gcghmR1ErmcCTY4flO9zGmXFIH8prtabz8TFor1wgHUwRmKkAnolfNKL2XIMhUARuqYR6sGzy4rmzzA50Xqa24.r9t_2KddB1ulgeqOuT3K1JpVRiQ4aHJnmWy6MmSEpWaXKhetIPlx4EMrmFMLrjuPLe2cqDdl2ltzWBR.jwk6s43_HPR6jYGpok4cfTVjs9W2u1KaiXr5DFX9vT8wvz.ni5zgZ4U1WU9LC8xoJDytgb7Tfd7oDLW.CoXFZeNRFK7L5WXAValataHgIBNcebqIbKhGykXOGhSVzwRyZNbjnGt2LyR_sY3jenl_UDTxrrAogmWAXoVx55hcCUo14Y7xbkm7mouwPevbjpf3d2jV8sn.w.9INWTm2uWnZyXObSIu2ZYblmEkhC0_t2U84CutfMosAF.weHQoltavZu9SsJKCwRzICUwqcNR1rUcKSFItAajSYGKk4y.AYsS0BP10Bc6.z_2IiJYIKQoSuN8oqHxQ1kK4J1XJdHw.su8O53hxq154Pnp6pRip1.BA0L9Olpy2tf.0txxhg9_uMr38l5ocCdwG4SIpZFFWWGRjsGEhc73i4.o14fD2mYNlWkalEmIxrlwFFxwn1iobFxiGpQEk8NrvpMf7c7IZBILcjbfSrU_uLaMDbEG0WtgP.nS8WlaWhB2ymncJ2uYsHGrH97c_pelicKtxwaJnH60Mf218mfq34ANQle6pdkI.boL3I0P5pKPBoY9q70NB.gbM8.EaetXt..MIumr4Fh0HC8djyMdEszF2iFBs.9CFKvrHkW8bJJcMXaZ51.3wB_8ttxYaMWOriS4yXZrTow7ek1VgFb0ZPjbUm_nk6hNk_SnMWirROPBjvAmuSmICYXI8SyZUPnal026qpoDLdsW6HTadfMa5ES6PI3QaGbg6fz43br.U15TWBXHWexUllldiTxFbRh5k449cQIJJfGBDggbURKthUFRAczXY4xmFs1ua9QNGo6Tvo6sQnOrBPEaUoEpqqiU969MU6eV5_4FXiONYqYBNgl3hDlISonOQ_OKHW6Im4xYF80AJe9UvDByQk5fFLcGe8WNli8w4uaWPB3t9IOXQBeJCv.FsctzhibjVTXMDfpBNmLfUdcVZwr8AcFxMvB5cPArdohPgFHwhESNpQ._0Sj.awNCT4vmz9ub9Xqbf9tkZWbkCLt_eVfNFHnfCisfUvq8RRrVMzBMfFazfuATskHpfeCGIu.V_mwsaj159WKqcDH214IL3egLyMN4Zo5bDGxQiXwrfmC80ncwYTaEHU3cWHro885a4X.Lea2E50lvGmhWXfScd8abMh5M7l3Z5gm0FQoIFVe8U17bHhFbZWc28HYVp_z4jeQspCtfzPIpW_NnyTJKDOpUd23nRGjHILFwCFWq22MKyftMbIzB1wcJR8YNkZEEcdPJI.EvsAUuJwu6lCnSwYAsRN4nG2"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=92d329fdc80cce6a';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, "\/?q=ut%3Acluster&__cf_chl_rt_tk=uz.Z1gfz4zwHFJFCVtVRCLQqaKwfxqjxLlaWg5x0JAQ-1744129981-1.0.1.1-qG2jQcdHmjipRcupltP9vnNDGIXkdAVjr_i55yewrW4" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>