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: '92d4b5e36a1591ad',cH: 'EwNaPgj3BJMMRdqsuYjErv.w8EP4luDi0QQ7TOJB8yU-1744146197-1.2.1.1-7BGN0SCpSYdVyDj4qDqIBbOH6Hu7rHs9UDTaE3f8He1bC.E1hVjf1opNusuhPvVd',cUPMDTk: "\/1548.35154?__cf_chl_tk=kFhyVBXb18TJlqqPPuYCAyXwSiC_mm6Z0HQ5Pj4YjcE-1744146197-1.0.1.1-jpiwQ.Q4hHIbmzSLyRXzMZP3ciAysAcRpzJ7FnT3ODw",cFPWv: 'g',cITimeS: '1744146197',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/1548.35154?__cf_chl_f_tk=kFhyVBXb18TJlqqPPuYCAyXwSiC_mm6Z0HQ5Pj4YjcE-1744146197-1.0.1.1-jpiwQ.Q4hHIbmzSLyRXzMZP3ciAysAcRpzJ7FnT3ODw",md: "qZC7BhdKZKzi22LSW3Jip0ll8GW0Qzz3Pv03dVBycy0-1744146197-1.2.1.1-jq9qukA21BZ1crrm_0_MpJao_UWNN7gnEvWoMbSKx8rg4Dse8bYFVSWzpeiBJppP6IKZenzJkUTdH_B6eqrhxBu62VoTAniGg4uZNV1Pi5h4V2edpYS41tALju3uCSAqLoQUrltQy_4GGPIts1Yb.h44UqjTUFsW1QLsgpLwt9kmlFK1DYVy4HnD8d7Jce1vIJa5drM.GpWjKomks2ygvhiS6BNNUsshXtCBbz43aqhp2tWF1KDDyAyj53QebO3d0XRmMrTVAu8LQ3joG_KbHdh7NVV0OEnXGzopgdBG40ugT08PONKvzc5aypVKtLC9jvo_aCvl0bIIwKVUSsn_IUZqE98KBjEcIKELzisTajHBvO0cp1nAqxU5yAIzmEjmzW3jbPVEheNWvfbJuCj5E0rhjCpKDanTWRTxcLCXAgP.DYDi21uEWKcCzAgLKJ2AjcKZ6Eqtz.DfwgGHNJt4Go9nUH3EXBazOF3jvV9aoVtgAcYLUSOYtIRkwDBMWVt7BkYELN7OJjapjsajBUyvoYLv0Lu1KngXfkY3cRKOO2S3cRqfHQZtIaSpxAox8FjXGt5SNET6_lsdAI1zFWKqouVQwHSeOYkIWbwHJoAOHYbfUXMetpqYVmHjh1e1K7C.EqB4ss9Oiy23BPcKFPNR50s3Oo_bGSMieiqEhgKYnQkUAkvEkB4vJCwla1fdEFRkU4S5ruBVOK5fQ7uxoC4vH_GcJfhjxLxxOKtLv1XrbmTsqc23hC7B7OKp1MR1HLG.gSbk8elFfGl_.xKoF4FdAFIg9FrvMEyGV41CpPViQq2MXyisAqaBtw1JdnLVSVXsPCIpCTs77Vryp5jo2Orr2RH8tsJBfhL1_bExfFGjlsbhTlQqOg0ODrWr0Ow2.BtxUWDSzKyryPTaQfhzLa31ikH7EYw562l20FiLotoSM5cLCYuM11gO7Nf_HbuujwusZa4wKvyrVneab9yiQfF30uRa13Cr2gWTHPuT2diSNrgLxtG6759Nh.Uuv811SMwKHI82_rWDv3g00SRdp2182T4D40gt9A02xRlR3Q5rc.Kx4q2NMLHc1LW4TBVxgG3to7h_E2dvuSIeATO8lhAnZ0G32FAejV.5cbjL9nAb3_vnvtQ.hF9pS0Ymw_27Uvx6o0IHEQiBrK_3M8RJP2EdQEhHRLYaen40g5Mzj7zykyHqa4zfOxnckSBjfjdRIJAx",mdrd: "C4wQoNhT7pUA31aAvZIC0s2C6Sxbf7fH67WA4JPu3Dk-1744146197-1.2.1.1-YNNwQGDi2CCSqSJYfC471t_h1nCM5E4UFZBnrhGL7lSEd0HdS72FnBGeUq6Vqj6UEW7XIUYTf2zSu78A4oUJ9psQLhxnaTTy_f3ngvk.wh73J.Evre7DBMwhnLQYZUneNRPGfYL7rGn01WhkHG2vOZvxX_XUtPal7W6NIHZ_u_l5Ki6l9l9ryMa4P1fi00SH6AP.CjFaPziWOExGPghWcaxnkSGzdOaEKdwXHjC03Qf0zJ3aUBzS6_kj5qjXRBTrK02D1IcIoQE6mhvPD3.YIhQlWiGuvSsbQVX50rJlHX.TyxxTqOkTVHLi5CI1Ju0FJsaoitnM8CsjvJOzlRMwsINUcoRa7HgjI097nCVZH4Gwk.BKEQGXcvMC9pRTqBrejEY47zOO061BB5Ocgp.1OHobRmDrwagnsULnUMyTupZTmfC8TCZp2W6.tvC_EV2.olv6BDdknDK9HKtQOD4QYn_ZduqylhmymN8oJ7d7bo9HDRBgX0RneJ5bwLEsaNKdh5L5KNwrI7Hen3Jn3KoEivJZKxmTYmi_BloMy.wfhonMEi_92Ateqefd6U1IEA1ALKqmoMw9y7UbwkAo5jMNX_o2z7aETH7mEwzKquWt5S_WOLYml179fM6DJMVXNq7QSmeZvmhJZgSRfW3k8SdFmaaypfCEZEd5e_WZdqVxh9KVCDaHjHYtZNBoobvm5fnz7XlZqMo7EDHWCCII6uXDgSNSjrLxPB1OCrndo1h9j_JT5RFFpLTyoHlrOs4B7o9sznqQ.7bdXkJBfy62.T6G77_.miRbXPk5Rb.ygc3XNPCJ_IA19NxFjVXl5u0olQi47nh79Zty77VcfYa5ygX6kWsfQROI9wO9Tbv9iTtXI95onyM0axO9TBa1JGUw56XmasF0nxu.CrEdJ6uDv9i49D1CyHOmQS3PYsrF3DVnY_dDtDs42TH1QraYBEes4q7X8UsV5xuerUaizQFqa5R7AFvev7p.ISTO3BaRLe.SH7HET2Gdw0d_O4_WnF2lpnSWpOEksyba8Ti04wYBVDlJZtFnd30mjnQagfMW2_lAldVHlwya8oa9YXZHX0f0UmUzjm3JW5AUcYDZlkeLVG2GlxCQ6kMg0hJuWy8d8mYIPe4Jr8sQ8WKIdazU7svdDF3kO_rpnoUw4Ozlqdsu2GVLa5WJ20IPFtZx4m9HxwVF4WjgiawTE21.e.2xnBnx18KSOFfyjBK4zp709SUAP2bgq2lLK6m6VvXHXdR17o7d3W1vWlfV18tyapR2NtEWhS6jGsn3JjKsmws_EzqBKx9SBkCs8IcyOKL5OtW1tTjbwTvavVZmk96HNtLqRuxx2r1Y68DDbMm1nWIf4vvzPFzhLThnzLaNE._fyCHBQMpgLt4xheHdM8F45PQ6qdY_PKnHWg5vmCBvWq.aiUcrmsl.D5l9OBkH3NVr3Wy7z5vOPGiUBHfcHkuEz2.run6wa5y3vcnQU4odc5L6gY3qogI4FBRX_KJFpiF9nqpCrURummxKoWwzffXswE6Td0MfHK6XklfrW9hca9_iNncABW07ae6v6TAJS4XZwG5fARZfeA2iilDc7YXf3ZvbG8D9weB4nfYmPKl7zFDyQzq1AsCM8IDvQkA1ye1S7LLq4gfte0sBadXt159ihvVNpjnkbLHLqe_xrRuUCariz9Uq.qndflVjl7vyJe_13YY8VpvJx1V3aCryYWU8gqI616nbB2zRaps7HPQS4W_sxIJZvVD2Z72RLYfNCC8k3q5oXnvX_GOz7rWBnJOTQqQZG7Ry92huxNw5hxRR_dWgsuecvPGSs33m6AFGLW9myGvFeaCYhEAyds9ZIwy1ns20d4g0_qANfmSgK6.Wr_DDFXzFQKoy6F2FAaqclW4cx_jO3psDuzuZV5ea2jzO0J_gkOJDDKopYO7ip5OKXPXlkAFXelE.lazz6FfFT6SCkTEJIDl57yzCqb0ikaaV4DN6pz0j3vY_VAdW7sPbg1jvny6P1MiPZphV3EyIdolXfHpUDIz6Fp5Fusr.aPjVywMoxW81eOkQ"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=92d4b5e36a1591ad';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, "\/1548.35154?__cf_chl_rt_tk=kFhyVBXb18TJlqqPPuYCAyXwSiC_mm6Z0HQ5Pj4YjcE-1744146197-1.0.1.1-jpiwQ.Q4hHIbmzSLyRXzMZP3ciAysAcRpzJ7FnT3ODw" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>