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: '92dece4baaed658e',cH: 'cwsD5AxPKWhj0n6REeU6Ua5B4ByNd_6XlIJous2oNNk-1744252054-1.2.1.1-51KWg7Zwq.JPthDYE5MGi4xtVeY8cVU.qvLW3KJia9mgX0dmtKHdXAhwki1FMIdC',cUPMDTk: "\/0071.09002?__cf_chl_tk=G9tb6hTxqLJ.A31V3.p1mMdnK_Wu_b1cwBXA944eNXM-1744252054-1.0.1.1-YGo0Kpx7jAtrjX44bBCjhqUrBXjs9CSsdCPy_0d5ZGQ",cFPWv: 'b',cITimeS: '1744252054',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/0071.09002?__cf_chl_f_tk=G9tb6hTxqLJ.A31V3.p1mMdnK_Wu_b1cwBXA944eNXM-1744252054-1.0.1.1-YGo0Kpx7jAtrjX44bBCjhqUrBXjs9CSsdCPy_0d5ZGQ",md: "DmaOO9e8RJbUDbbdZ8bw_MyygasR38f3UX5u3n33k8g-1744252054-1.2.1.1-t_d8PL3eNGoKJqbdjMV7XtMFW14vot3j2FF.pXdAypoRjYfvh1ECMPmeLa6PMyBkXRzdC.s.uNsfa5L3Bxr3uXvOUqUW88NDR2eRrSYp4NwaJhlK8uJky4Pih727jKgRpTp9eAXtcPiocBA2USMv3MuXAMtMR_7WIRndN6xaldjW_1N84FeMXRtMdg1_c_zTkpYAdW2iygc_q1UL9SmsURDWgfjA5J3wW3Pf6gsTbIF0gQ8AHEh_V8H3Xs_wDtyObcU_H__u5eLi6aq7BTPxlBozPM2MXIsLh75OYVKNe2Ar0JCa4boDiPUkkPOUSJn9d0nkjxMiA58lsK09IXEU_eTm2537qJYSWZZwKpdNtmbie_vWZdVhjIhGzX7msmGEE8ejepy1b6101xQIMi2Hhv9I7t0gynh3kfwE0CjGWV9hOY1tnktck8B_v3ybY_TQiykOiYvQDCL2IJix4sfcRnSKIZFfxm9xAWpi5bqzWrKqL70JscRWBycuf0IbtVXKnOH_d.J8ijfebDbsHuvflIbe3v55c3BX7ZJ62NCokikYHiTH4rf4tNNjYFd4zR9.WnmZrroBEIgCxLlH_B1zD2aVmOqcVoGxO3ykFVhpmNZ8I0Ay4s629LCatSYo.KyMCr0REjMgCOWt7Mh27AuE6hkm4.HAOzuVLo2mlpJQ2KXG77RtZ8SzUBWuzaMmxbBbgKM1BmnKcJ458I1fWxrWaZ3qOyN4ekqR8kRnFHxhIotK.XLDWHJMkIZ_QsefCW_ss0XwIIdAP0hZQ.cXGhcAwFRVX46Q90kYumXQeGq.JGc5Jf9sdEKasUo8vxzjVhFaC.Ep7u23UZpKlhacdkDXup2W.VwsM2SuUzJsGU2LLZQ6F8MOvlKZu3Hqc.nCKi4hOuBABwG.RafNwJUpmOMp41.zP6iJC.1xBLWGM7FN8i.FrtMUUBcd.99CefvSRATtbPJxqCQqz7GUY6Go7OzbI0cSeg073ImfoQK0dxk.IP9c1f2dDTJue3e.kUVhqIhJt399kRFnQm_0GRfXKB8N8ZRINJqS4mDlbZbGj9GAC6zcJvADSNO9Ie.uFJ_2q0pij9ySifdd2wmunYNn6IFdvbC6cDEAOl3wD_y_imEXR8cvsEFbanHqkLJdUbGh5s6kqf2UkdE828BQhcu52_ZChfUfKcb26BuuB1DRdIf3AG9X1ktSqPylR0NFLA3RJFb1",mdrd: "77L4etN.vuLK.2bAuCShKTCggPI87HBnD38.1Xf6stQ-1744252054-1.2.1.1-h1KXf8VnrJnw6A7UMp1Lr_qM5O8P9fwM2O1yEDqt6Bq7p4RqNNWIwthfknJdpZrWi1q41zHlZrx7brRuLdUDrLkeQDixJ59He0jn7tnhyJsWI63_kcnEhUEBhC5wahmMOxy9WBSiGji6IfANqWkr9zIlyEf8TqmmokoXX5vb3._Or8fijBF.h1H6wAguxds3iEKFHcH0XhhPlLDmIBtV9HiBE_nt33XrzLB2Td2_N2e4rirfoV1baj9v1Ji3jHclMOVUaz15xqfirsn57iDb2_vJ9ccr9MkR9ye684r80iaE6T4yekRKFZ5RNDPhIMBLNqIuh82hBMRw5.SXHFWnWDue5Di3v9nLcAXIlll.4ulCXnNcCS0O2VSEhr8KVgwLvYMjCyyG7yDzKYMM.ZqamTWysRZ4UdNn3bKimiLl5zujpsynCCN06ApaEk5g9GvmSaFMbJomTdF_5zKwLStYpai1FoS3VSWkkHFBZItDHHKpeEc3W3xygNbobWFIC1Av0CvWR.t40GceKn2M9R3.wgDTjKUFWbelY1hOtjlsMHVQEkSbtK.FtEbodgHmjp9D1hPOeYxMjYDbJw_GofRir9f70NqF773IAFSjViesjdlUgOLg3LyOxHad504nnahcAs77lbuf2q.q__jmkWbpRjVNfxqvBBk9FtHZaYeA.CKbYz9avMO.q3V.IWoUCoGWrHKpma.L6qViu_tQILsebvM07CoGblZ2oQxvzrmylMINcqrtFSESssG9Na6BhHJUa3wsErorUhw8C30vwK_kI7wrnnpzEOmHkuX12BwkBl3eolULI0krQSE.OCXbuAvKBj73KRoLVwgziFAgdN0qY9mAAkxHHL08gwkPnu5Y7EjskShf9d4wR5EkpMnz56tcAerrNVeBrWxhdHimLvPObSawfhhN.mDzKgaZ2Vrzr3rv6GlAht83hyFJ9vb2SKrUMR33dZWB.21botX32xrVfIGQA39P.qdcaansdsvdUYoMxptD4.aHuwHHA6zAHs2iYFvg.DG.VnvWbgrh..CT.FvxDD0Nn9unH9pLaAX_bueAdOF.J_y8bvFzTOY7h_A_8u6DZsPbQkq7nbFHlnBqs03D9OIlaZawS71XRhfrfbMqH42X9noQ1oMINfRU0twQuXjoKqDgEqzJopjh_AFVn6B3R17xPRpoLdJtbS6cIslp9krBp9MUyqcHjKbi8lZecwuFTfujLBR3Q0yl4gIOODeRTXvTTRmdXTfas9GIulTr3iLIpmMPeylz2wceoqgMLLWq3qJM5K5PDbCh90ZEy40V54KO3Y1duYRztDpUwhUqAVbIdI5.E9T_dRCyAZqNsY_ehOOWZBcIqysnPvRpJuLIy9R2bpgnqfJ_3wDgLIcFkt5OxY_DDggkEaKoXoZ2v4nYldXVTmFwzuBh2EkPuCNTAchccx4Pd4.cjtgX0L5pYULYRXuDswbkXfVVjxNcfJXWpfQNYqit6yL57ae7SaDRexR7wYA1ZdwbFJYu8ITXIKDXacIKp05X3nmDJZ2TN2DWdyxGg1DI34JMw5NJeywQMfALlK5SK9mU5fMlnThou5VukNuzR0C0Ez7pUb.tS39AF3hopNVsA2pbbxYCkmON8JBfGbGogwrVNa0rth.LabiTZemgEiAmOVK__TeVlIh8YgO8QdqTzMAuQzOIsaEm8TK.Vx9gzIhtPdFsoNJibVblNvj3wCQH3CmfTAGEZ3UqCQMPPGEY6xhRJ1U1uf_5zinu4Fxj46wulSEE1OYnMIWE8PW7CccqKcJ_na_BCFyuHv8RcF7zOCHSTFbUSbyZRFj8_WFKKAh85dpupuoVIb0C3bbPj_xAkw3mt6iBgR7Jd0Lci7JA5.EKQ48r5FvA.tmtmCs7_54w_UHQWmQRHVPIIxw1QZiNRsbOH.54Gp.BizIcdueLcBXVCxXBRyfQRE7s7pt9Mcy.Ne79lPYly6LT2Com5MlemtmRHAMuSHqm7JDwdHUAcOyyCeFYcjinrI1qeeXlguG3.bSwMdVks030WSkqafFHb__N3_Te"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=92dece4baaed658e';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, "\/0071.09002?__cf_chl_rt_tk=G9tb6hTxqLJ.A31V3.p1mMdnK_Wu_b1cwBXA944eNXM-1744252054-1.0.1.1-YGo0Kpx7jAtrjX44bBCjhqUrBXjs9CSsdCPy_0d5ZGQ" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>