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: '92d96d0c1a24cdd5',cH: 'EIBhEi78sQgasVsvNTHpmL35XkJ4Sn2pKgyWxsL6VSc-1744195642-1.2.1.1-htYuvXjBnxVEzgy0yR2IEhGaHsOSLNRMfVsS5FFT_293kTTjqrhrpVnX.SyPuZQF',cUPMDTk: "\/1251.65132?__cf_chl_tk=mny79r287bB6NUdpT9SpzTpyjUwLfhFLXElyONfewbA-1744195642-1.0.1.1-vYBDM9D95rjV1IT_Eoo_WCA5CRyvDwh2CD2Pz3MMwTc",cFPWv: 'g',cITimeS: '1744195642',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/1251.65132?__cf_chl_f_tk=mny79r287bB6NUdpT9SpzTpyjUwLfhFLXElyONfewbA-1744195642-1.0.1.1-vYBDM9D95rjV1IT_Eoo_WCA5CRyvDwh2CD2Pz3MMwTc",md: "vae86EMjcOh.DGvFPBXCK2B_YFqZah4q6MoV2JXESUU-1744195642-1.2.1.1-qbSjLXHdQ_Li1b2d.T._nUhh7rbXiPxYSqBiyv9hQwgKrEtLC_DmYAjG_NcC67c1F6zvExN3DHg75CsJpOwGSHKMmoX1qDHUiygGTMis2r7qdWa8HyRSgTDSy5txqFSYJJ4mLPOQDwMt8h5AavRnSeb5pxY_85JHR.LMmmiI.3Lttwxkl3S9u8IfxQdOxzr06hBKf7VMC8Qbrs4Zc.SoBb6lLuqptFSvcup2QExjxGFWHAPQ49w.Han4rlByLfkiKy92c6SD4WTLgT59IMSYUbpY1iHSN3tWpymuFYOFmuCeoQwR956mO5q7O9cdwqAFKiSc4QNmugCXXjtP8dEFfClxOUUowmhCXNW_rZKuoVXu3IbMLXPUwMaEoQDArVjLq1xTReXXHrTOT9oW28MRguXNwDZEKpNdvJ4XQnTTvsYDApsXhbafl6Xm5iNgjYGjwRv.DXEAacPdoyElMjIQ2vM_0op_ENtEcHKcfgumQznCazqk_WBVTyknwwhdAVT.Usbd1gIpv94zbBr2o4WFakF_0ngAG7I7KyBrA2c_S7qqF8ikQeAka9TLPDOHKvsuVJniGWT7xHW0X.x.XJG1ZegAefUN1joH3sqzl.JLF8RZNOsLLIy05QkMbSxkrHCRJf2txS.IZoO3kjq..Sb4StN8fyFMulFe7bwW6Mec9ynBAY6flza2kBodeX2PITc6fYPkLhOP1_sOYJ2M.VWb0E1ZXj5OAFSJ8MUeKL7xura7xHx3ypHm947Kw4fSHvqLkzqwvpfiTA_fh2qXiNt6TaVwJdAgHGSYynIFMVUh.PpvCNOZs.qXS8.SEwSo8_R3Fdr5l4RayM7QvOvprWpdsbK19ec95i8DIIqw56Xd0kn8WyWzeoBhLAIG7ydOF8xstGut3NLGmlcZgL1_pTpPx7KoMvUA08565i5wA0VFG9P9tHDoJPC4xok.0GlXFPcH96CqAn3OJAvLNtxaoYOrs4dCqI6HGG2gQVvUlP_76OTTrgX2RA2Oj63w00AmksbD7hHelrKga.Y.IjcUwQXny3bQUWs3dPmhyDK6clO.XZU8bAZuV39qdQ34WhaD3C_tQJHi10JIjYBjz_UCn1ncrD6neoOdVTqpGE92ifiRVYDMLOa3Woj.2R4bA080HnIUmKKHxF4ZODfENuOxN52PR4cYi7BUZF6JE_TR1uAZ583qcr4yUqN3GD2GzkX7wglF",mdrd: "n37kio3cUD_5rScVK6xZTNTF_ZBQeZausuTvqOLkm.A-1744195642-1.2.1.1-ULfhnVCvfyk0AZOaSmoiafcvG6KCJyvCsGPACsHAYXgqkny3Siwp5qJohpiMptnxYOLDGZUJ9c88mh9LXvCdXQCTsgoQjlKB6ywbcdjt1Vx0201hsQcwH5LXKzhNlZBdCgo5DwCcUgBYuacVt26iw8wHOWUkKI6zWzzx_Td59Km.XvPSXdKGBRtsVlSc07l2xnjKOksTy.sZnQaH3GRTIQcHmMw2ASAOhQ9H.SW0atebvtDYH9Z.RNK.t_VwfP9CYpFLJ2NjCJfw_29apgvur9uOezc6N4B0AchATAGA.ZKBPfq_Lbkz0o_yIMmAk8wVAt18WRmOL7E53IAq5EduMn5R4E1j4ApNbSNfT91msJVmdQSitCLxn2diN2oKOqCath4gdq9g90rKkbwoCgQlI1TLbnf1RWcG6RH5pc4tzozDlWMBqeUiH1_k2xO6RbQ4KJCu5Y0lJc.cvwNMZen.UNfQMmYPWgB1.q99onsyy5ZdftEp9d13HQPwLR7xM1RYiYuyUjZ0k_s8oE1Kx9OLjdYkDGizKsh7qSsVoBGN14LKjuxmncZ4yIgwBYVN0LMecqiK3vsoRx35I9plbjWxF2GVrnGY9PwkIhmp0xjHZJsRE_PBeLuqi39KHX0w1KU5N5ns7Kyw6CxutV7aXz48sVAfDgfKqRyr0LdBUEPOv.nUg41Vrjj.gJP7kXh53jL6YfGdsG7FASMaXz4N3sgDewevFydEaE7WJVhG5ZChdXhYMGUdSPFyIkMxbOnlcg574wXTLVaRepWhyBwvvw_NCy.Fe_nmI5XHDhCJJp6TzcFoV0RXBugivQqiK8AyExtw53yhJBHuiDg2HwX6DLmfmvW7Uy2IlV6OFWvVuv_QJ9SS70JBOKn6l3N.qlqadVuh4wX.vIs7UxY.06oYfylxq8flGuMkQUIjFOtIcWdWnMzYUelzSbk0tm._9DfkLwEEnGYzWWy1JjjZ26nHE_t8vxWPpeqLuOKw7dwwhe65jqf6fZ9ftXddg4Bni_XRq.lK._R2grlC.mUl54onXsZPV9dvkJnGavxfapwm1c7NcFe.i3hScN6_h2pbyBqShXg88Qu_P3WqAjcWhBM.BMaNjz7SfqFqqoSWjyU7pqBLX6dWwgNdfD34V72NAYa6Hpyu9V80eZkulZ2mwXEPhujMjgImsVLLS_HIt8aUERfBtKl6.FvyTB4fNOVCH4cRtJyoxQaIydaqcaoOqceB4HX0ps3DCWl9MEElardNlCxJvuJ_zzOgvHDWj4GTQO5OEpr82fk6J7C2pxLG02a99Jvo3I8RWFFiRTmUR.EuiZIPw4GfMfGPs9Hk_dsvfphMgLrPdJpipH8G3RDs5GOJHgx3kl49lw4bym8m_BEtCvJYEvzl6ifwuTBGmsdeR9ffWZp4esQBcipGTakNGq7xegIFiDxfKWLnyCAX.LujC9xs5DhobrDfqC7H5cld6Ttwz.RdQ4NUcBVtBLtGbkro4f98hpEPq8gpn8mhANd3Rh3ne9waIue2e7gT5tJvFlTZuqylQsVsijwTiFxR0J4b_rick9xhrzMXxFQj_IL5ITo1173OeXNIVk48_yJHrh3BaXMenR7JKzjcIOMLkC5oECz8V2PaLgJGZKAyopMJXMdypNPA8tdhSLKOJMNda2zqK1Q0lfT9z_wAi7VXC4OVSOzwDLqLgDAjwbCn4RAK7ctj3D8l2639ucpG.K6T9pojeDa7.8Pnw74yAsfAncryafsf17t_0LSPZWAi0E4AzJdU5pxLM_uRvEso8j9POfPnmT_qEHsJ5wjKgucZreMo5dD.ymHKqng0Kp1VxFi0r1UW4_4Y_NMK8Sy.3lhLfGKm2A9o9sSrQFvH0KJsn9b4ngl9sjPhudfJSvLko4kfoU94gFXja9xauZMeWmhPW0hrMf001HThM5COexPy5A6gyWgSYhAQuOMkosKl4_RaLB.92TSiqPWV6xJrC5BhilUGhtyFppw3q5NGWjOyqORA765W5cxiZars8Ga.L_ciFzHqxtY"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=92d96d0c1a24cdd5';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, "\/1251.65132?__cf_chl_rt_tk=mny79r287bB6NUdpT9SpzTpyjUwLfhFLXElyONfewbA-1744195642-1.0.1.1-vYBDM9D95rjV1IT_Eoo_WCA5CRyvDwh2CD2Pz3MMwTc" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>