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: '92d47ace5ef1b251',cH: 'e2HcRXUVh3P2JA1q2Na0xlwseXj0anv_lUpuUrRThME-1744143777-1.2.1.1-C9q6BdIYezpZ2vpYsYVykeBxjEica4M8wrW.OhI7.Qa3scUqYQk5Q9DEK4MHaRLh',cUPMDTk: "\/0256.16005?__cf_chl_tk=kIx0He7MLW.c.XQZ_G5SoaqXABtr2Frw3KnRo24mjdw-1744143777-1.0.1.1-Ojlv6Cb3K_tXJy6CVsSXOp78bHCGCVs83zHg7LV519Y",cFPWv: 'g',cITimeS: '1744143777',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/0256.16005?__cf_chl_f_tk=kIx0He7MLW.c.XQZ_G5SoaqXABtr2Frw3KnRo24mjdw-1744143777-1.0.1.1-Ojlv6Cb3K_tXJy6CVsSXOp78bHCGCVs83zHg7LV519Y",md: "guSdM.Jr_lquXJSG_iASLDVJhE6DGOEgU3FMtNiEvcs-1744143777-1.2.1.1-zYxdzjbOrhTgMsitmm1rZZvUvK1rOihKBuavHb0a9ECIp_b6GRD6sw4187aKMjjTevAkVFBB_i9QV2gg4qlW666_pFwR4dCX_5fYViavp63utTD23os0Rori75ISOHsGpllAaQsM0juoXSTSSAv5QuieC09pXfauzp32jxQMY30pGVbICkCkNzTpEN.AQcg0H2XAcoS9xyN50bI6kyY3SrNzVTCusNaw182d0Li0ZEaGLWjeGM.30dlg05k_UyvpjY92V70d7j6a7Kia_Ll2rjV6.jouaSeXE.CHX5gMQBPybRV0Lfb6C4Vmf_tXFSxYboc81zWaj407lSGOrBHZ_0bcu_9J465JVTHgdPLs0ubDKFqnhsIncWCvfXnbMeP6nTa0m8MfNuNxX4BnRTItrXmLwucO6J5cm_ymJV8d1cGwH9AezFcCMVhv8xfKUt5RrnOSyPSV36.EdA2fFbwYu.s4OrqOA0Wfal4kFu9fk34t4nhkhnd0CIB0K5DuXg77ARwXg8T1bCVrPInir_LZ4.oaYQnPhvF96tZd4DPE2IILr6_XynXCmimYlGj8XKSHokSJ5T7dgTq.D8GuJ5EREvKPdAfxm1l7p0PP4KV2h9Yt1OW7t7sp8S59OItf7AHEZxtzw6_RmEZDbFhx9xBnVTCNO78JZIOhCDQCB3b16iYuuuGjyhXjPQi6OGEvevvUCP9qfTYic.EXHCw0VPm8B7KuHPIZ0rs0utpAo2FaJZbcOwI.JNTCbj8N3OGY9q9c5_fUEpwt2AnRKnvSq5VeBrV8NP_IpW8rZw3p4IRgBIyGvp_BSU4rtKBgmV6nCl35vgftb36ZTS1abF_YdCDJ.3KVv_V9WZ.44P8ODXavG0eotW7ykSL2sUUmxkhzvZnGNoxoTMChItc4z2v4_7QncYiEEyYqNoNYU2AHd_WrmeT0gRj5Pb67F5HByCyMgYMJ8Xu9y2Db.u1wrCCOq6LnNS8KbBlAup_ahDGgKrYXTRbdCVmwfNardXd6yc3mSgGbGi4uy_CjJ.myUzpQGzLvt9aQ7qhpYk8XJi1ViFFCUGzArE1SBb9DCHiyaJZTDCof.8BhLEeMPjSY.q5uaaDdfjcWsLqSgrQMwqmR9HMci5lv5zg.h7U339B6T7zC_cSDCT1nPu1Zl_n5q55sc1iNRi2op97yfmqdh0e9hF_H6xBcnm8hCh02lRoy7mHdpXuZ",mdrd: "t5TXQLomDyVoGWU0NFy7tbSwc7YE.vS9OdEhH_BgfeA-1744143777-1.2.1.1-kUg_rsEEty0yNKUAvOSwUEK.B9bNyocsKFkso3kP5d3vry89JORIkeoYw7ZfbgiAxgbOO.QDT3Efk.eVhCznoBJd_XDe1VE15dnkMGdowEegNflfgE8MpwqFBfAYHgNtqCVwCg1ghnQue9hsCkbLMbdiBReKKptux3Q3JewOq8Suma5kMfj2ggtZIvTZvpkOKbOnA6gg9ZVtSmUZSdSjcz4LhoBv_gI61lKaTZS.LMArpfyUS7d_jGB8GiL6jbYkvOz_YdEpHCVY.I8GmXtj.Iyn020VA9RcniKiZgZ0JfOhCD_ixR7Avu5SGZ.et4gyVb.PA_JJdPDttr3piG9.l2AnlZaJ_TVbSMdLGj4t3P31lii4f5rpUmsvsdt4JC0wZSUneXdMU7BoPKdkZ4DwbKT0cN9PXv4rDv2ZZB.nagKhlPqzqKXNaQb_n72rlte1gwcl7XRtlLLhrzjca96i4fIrZJ4bAxd2lGczY8Aa10DUEaYsMf3ssMLzJmO.fAP2YbQGg27QWFIkTFFti.9YQiOSiGyfgH0kjMBDuOQOiNl3YMlhSx8jyN7enk2h9Qu1vgqjvmL72tSjxKWbG.YWJwPOCMZUcs3ClKct9LvTV1BzRwysg8Z94Y9pJccEc.HdCyqC1qD4ye69AzezAB_Kk3WLWnatrBNidT4s0NZ3cfAik5v6bERtkuBoilgyqKD.isTqELxLoVH75gzN_sTLvKrOmEC5Ni26.xMCqe7gbGcFGX7POBmmYWqyvfeV8uUivfk2CeiTbrB2jN9jGLgAtkRezUB0aMNpomAKCJHnVQWuFe9SZogJ1EF6MtIFxHR8grwVLxpl80_c0aUbkB5fE4_DqAmJRrDMqIQD96X.qlUlGgxAN4Cf6BS81PwEl0ZyxR69NuDRNPS9eNhHilOLxpl3IMDuFSP9PzCCokZKJH.SkpkrHVWb79Y4apX.Czaw2jJp.mE1AVAOpJWkw4dth6MFgvc9CVnQ9uQM.ijsVbGa0D6kXuEUIgPzcOi7HZw.Xn0eC8pWvF6kRgbGTY3hmmpVwFsl2oLQCjOpB9m9N_cKB4s2cP_M09LAwko9EOH5p3WvWEm1BZMzdJdRB3Kj9p.X4uaczaE7RKuiwl5B5C5ZQxurCBL8cnCH4HqSA0jduXlBdKI18M3Gis_POvf4EgCfiX9U0u2y75JPUAAUmOBEX8E5wKNqg1i0kco2xcAymgu2XRPxHjtS7GPyOAeag8NlwTYuYO6E2FkeMn18HuSbxhcWHtxya81XyGLgbPOZYmPs9Gh8aPED5c1jHW4sar2JZbN2YVEChce28adfgkp2xfnd1E51ss1mjKR4B5LyhMnVUKW6VM2aVm9eSqJK3JI3GipyLkw9XRH3DoS6erFxebr6bKG1NQjmd89PCuq8dqxuVn4gpN_EiA813F9pSlnrSZ.bTQsSSD5O5RJiGEInLklR9in6OWfBhu2mx1FzRiFNvjr2Edl0ue.a_sH6rg4IJISXoruxG36wbNu4MQSEEsf5z_Ga0hxHJn67HKQubu8ytkwi_yvazXUpgjIIA.SMhhOsNTtPiu8vsFldLIIPSOAz0d8RbmIIeyZwG2ParozjJUQDzuslFhDdlOxP7PFXyPgxTZEazveKtPAkReSkTtyHwJiBhzk4FhAl3lb8sKPGmj76LgVHOKXQaAogPu3Wmo9DXguSzdZO7qlUxqsTdEou1ge1gPHX7zg6IJ4WHZC8hxh_Xpja7whqadULYdLYWI2z28AwdvB73jIhpbWiO5izR4lE4Xqqs3RI8aVKAtkM0mHF51USpGnBX3aA2TdxFhBUm2fT6VaA8pCCCLyDxI0UR990q3m06oOS2NjvSuffaZGIFe3ntPzrZTEr3F_3a5lJN4r5O7f4VwLGSaR1sa5ByDAzakM9XVmEog1d4hzYxLhpaZDfgYjtTDdZV.58RLzha486aSgeurHWQ34Ian3pfQMBr66OAK2cyKNwsoJmgJuXg0pqK2_1UJJEqBEVDXOmbP4CT1c6p6Du7KCQcsrRoMY50.MnbaHo9c8ukjUt7NcE.EX7atIRz_lJUA"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=92d47ace5ef1b251';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, "\/0256.16005?__cf_chl_rt_tk=kIx0He7MLW.c.XQZ_G5SoaqXABtr2Frw3KnRo24mjdw-1744143777-1.0.1.1-Ojlv6Cb3K_tXJy6CVsSXOp78bHCGCVs83zHg7LV519Y" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>