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: '92d68100af0afe13',cH: 'AmcxTmLPyCD9exx85xplE1zFJRvudNBOo34pDFBs0iE-1744165002-1.2.1.1-7LZVsFWkjhhWawh2lQChgLMJuHW3ovj8D5yQd3_EdfRUSLB7XP1bJWoa.LcbTz8P',cUPMDTk: "\/0984.92022?__cf_chl_tk=nt1hV3DKSDaFLKhJqsLPMpq13ehg2Fab9.zhgDpF8.0-1744165002-1.0.1.1-SEqBDJOmljAKxgg11yuysa8m_.CZCKaQ5aMcJtn3Ka0",cFPWv: 'g',cITimeS: '1744165002',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/0984.92022?__cf_chl_f_tk=nt1hV3DKSDaFLKhJqsLPMpq13ehg2Fab9.zhgDpF8.0-1744165002-1.0.1.1-SEqBDJOmljAKxgg11yuysa8m_.CZCKaQ5aMcJtn3Ka0",md: "1gFm4sKqdoiqT7URNdaedQ_TuzgD.iphAAOzsxII4xk-1744165002-1.2.1.1-UxFFkBlDpl4esakrmvMMViGewH_DrsrxUKxweNPN1Xt90fceC267TOpYy6aaCwTM3ChgOzW_7qRLNI4Akug8ZadyZv3PvKU_s7NbVKX9xZiZhJtboyqaOVAKxz0K37qbrC5LSZPLtXP4VF3IXT5Y3TSY9WXuFmjGRcZjemSAQoyQnjIti0Dnpw4j1j3l1oJPEtzv3_zLbIOxrzl50uVQmoHs88PM0Hp_qOOwW.OIiezjXvBBw72OZ1nRPj0frTHGvOAa0nbhv4o4Gyfh_vHQBnbxqVWjo..ol7AIly9q6GHgvJWcYUQzr1ZSokwuWCZa_Siwlg4If2Kibx_0eG_mZk3CeYgxxBG8AV0TFPethjuIUvYXthV_6N_WhYtRZGgRuKEwFf7SuaYILbEmaL3N_xAxY.zH..SabCTJdhhtHcTN8a_hmYXfiAOkDHwmW_jaqty79kpcYC3aEoPkbhH_5SIiL5ylQNpXOnYqXie6CtK2tEIvtVKSDgHd.PHrX4LTaHTokqLdsCthAzEbZf.XfwLC.68FHhM0WwksH96oxkwXiKCwY2TKHOXSebc1is1fnjACRwIPY1oMVT0E.FMiNi8g.a8We5f5jv00vLznjEb_WQQXeFB2Eht7cKtqw6LXqvLPHTN3AxKiUuEOAHMLVB0xK5hYl8h3YP8wsDeSTvEUxlFGGm2edrUJR8UYTTxFTRAJvl28M8Se3H0Hb.9jXJU7Ho9IHcEzBs4Z5u1l7HSfvC4S.T0r0CAt64.AmggQ3uG8JxupVC.iYVKe3qKZPt2I3VKGiCrfmiEFQwie6hDAxQZj7x9PH.ZUmzNPXBVc7Pi1zhkZO3SpPrZGcS2EfhElpLtq0ojT5zFT.PYKpOR1u83syuD1yLUYHvFtXPCS0vURjN_vuhIm0aRx.pnofWhmnnd6fM4182gL0CFHoD1..KikIjCCEz606S.nsOiWlz_HvUqIZg3v3kxUFGp.cyBjuBg4j3OxZhJso5dPpnXIIgqKI7JtxaNXZREpW6GLO3O57lvPj.BIu.7MWYcq7bpzPTmTFNRJj0zlvHzwjRfAMcYn3qFlyqSN6cj_uhZiYuxnfgSratr9onbjM_NZABGluLtnlbIfVHzl92dS9uXJlofFPzis21w6Rvz.sj0RJi5L6b0vqbslQpe3Umfcw6_CBsVNhm.hecCEZPD8kBcSj9DpMOPh8QCfikdnYQ3W",mdrd: "z_bAtbpeERPJpBn3pxOEys5xWCRtj9vWsOgwr9JkfYE-1744165002-1.2.1.1-bb.9VT3aEH4FJRMqjECX4yjqRx3rJzCxyUT1V1vYvilYF18GQlTJAa1GFDW7fwqcAhm7VpiDKTukHeZ3S3z3yDFR0YYm0lmJwOWSmd85rZ9vdk2V3SB2fHpg2gHdzZd9n1lexSHZ_28KISm8q4keVcq.LDcStFeqR_USkMH32isMwXAuGoJ7qhe0qHg7n.Vu5jBzYbdV2y0rvqLLgW3sc8R3bkpLHW3346AtGh7I4gSBaAe07LF.4Y9Km32Ks6lWxYA.uL14ZFqE_IbgSV9SjWmB.Ht4yHU7v2R2x4IfFCxLSw4sW.xMnaTNhhW7I72tYZjrqmNmF0lQvyLnuHENsSsZ4ePpowXrqN72ctP14q6DZfdH9rxnh3lwE2wzybR1Y8rUozvVMqZIEirkRGmIN1jpirEDVcpshFg6QUiGJmpw7DS6s7b3iqPqRSCQUEcDUFDInnma0zGSvEzyRZ2q_WxC7W2KJyxdxvWMjJrJnlUFICYwEt8J0u_Whd5bc26GgzT.Yati.WLLTh85JkJt5O6lDQy1947ivdZqHBw8a97Cz4NUxZqFP89vxfwECLeV7JJvP2RKMc.vp3mRFPMzmxnsGiY15R_1E.wBjX88zcf0jFdxC7fkIAyZzkZFPYzdkFgqSl_oSK2k6nNPnpkxRpf9lNVh7IhhqkqfkfBnibgSjsvnh8plZ8xt8_0aKmYRn1240PZXxmJtSqNZxoZ0.M4hHuKuyA41JnGWWn6DO45F4eHLkrTpIYruRynqtNQsfAtCvw54mGGr1Jn2jnNwhqUNvst1B4kyLhvcCVopMf4RE5bFUgagqLvRvTt1sHUEeI.7WXBFhMFcrFGHmd5nIAUhAC9t7zzep9KCMh_OmJDxN3CFeKBjOnVHwqHsWxEqYW3ZSFGNRPppjdqGsPoMzFn0x5XIgJkCHNPTTb6h9.nL8JORoKHaGhiP2b_YBHFtDmvqhkoKJOyUZBTyQoowzIhwmSu8I0MDrm6yqj5XtylXC9BFo0U4eefxolSYeuGP9msck3cQdOCuGMZ2wrKvATuWkfzePZ_4w.CCoMC0SiaThAYmXDFZhHU04gB4kkYOkLgcwtzPHZkR7Y3R_IM2pFZJFR7G.doOanqNR47s2N5DXtbyE9ymh4TmAtipSXOVzJqn1gFZYzOEBZxAL418VJIz81IarwYzzh2kqHjEFGyvCOT9wyM19sG8Tu8ciZcXsAKjiTiWpayX_Vdd.LdclcaQZGWdBAn4nzoSZzXYOCF.o6HelcEXGH4b4fKLnd9beZRx75AVGXldRzJ3uldmcQNOKF_vV1B4lZFFrmk7skMBodxCCz7GCdkSDl81CpdARTqQ8IpqFigr8_tQz9E6FMIgdhIhQlHi511wY2GUsEJKhIRJkbhLIkdl1jJ.p5xLcwrC.RGf3uucdnGo9GZ6iJDyRshT9YuBuhszYZpryWoYYq9osPgQabzwwV44JhTrWkYjhvNfz1CN9Rihw2v1X0Y6ywqgSepeuwMzWbz7h5VaUtpOx1HABCIy5oJHx2Mo5IaMB4ONRCZAJ_n6IVcaUV4E_v1PeRmwvD3Zwgc8XejFK6nM4xE8QHwCJtFwwlWnxiC0dbTlUWQIxJEOpmQthEbSnl4fHKZY9JThpFf503gvDT_ZNL2Z21JJVHbWMf9CRuRDORe7lq1Ns18SfXS4jqn4ge.g4w_6nIbWKYXgTuEUzTivQ8Q18os7Qpg9vYVSkBwbewsalHuokfBLoZm5n7vpgmhRWDgGVARyYgPFmDrpa4sNXKVdjpIbJaVsTUrRd8HtVJ2XAm3m6O1qzdYAuYyy9cs9JDZmMGVE8cNpavqzSszZ3GaI9GUKdnVVZiLKeqDi7oC24_EO9wS335hfg5Y0bKiFp5Ys8FqztdaczSgM1zTDQGZT4oC_xAgBYiENxpwSHqg1CcALpYCSJ8q8wpCwFwFydhbZEQ58U7tswsroCPehIE5Kfpig2M1eKiR.JejB.pPGngdcVEXXlygiyYwW2dUs4agLz1OwFtpj5IuKDcyciknrH25DvqysnNw_"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=92d68100af0afe13';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, "\/0984.92022?__cf_chl_rt_tk=nt1hV3DKSDaFLKhJqsLPMpq13ehg2Fab9.zhgDpF8.0-1744165002-1.0.1.1-SEqBDJOmljAKxgg11yuysa8m_.CZCKaQ5aMcJtn3Ka0" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>