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: '92e3683e38074497',cH: 'uhoEb6XTrBRrPnWBw0YsebHxqnj3EudhsltXhvstjgk-1744300303-1.2.1.1-wP6_lu3CSFESwkL4Uhv2ZTnrjqRUrh0I0batJmQzq.7ZrFKYhWr_WjmVFLxESPPG',cUPMDTk: "\/software\/7382?__cf_chl_tk=CIwTKBBXYxd7T5G.ZX0nxBBpvzr89ZtDS8FLctxh_Ds-1744300303-1.0.1.1-vtWU6XrgYNSwzL64NZU1cTCkVofWwuze4xGLbhgAuOk",cFPWv: 'b',cITimeS: '1744300303',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/software\/7382?__cf_chl_f_tk=CIwTKBBXYxd7T5G.ZX0nxBBpvzr89ZtDS8FLctxh_Ds-1744300303-1.0.1.1-vtWU6XrgYNSwzL64NZU1cTCkVofWwuze4xGLbhgAuOk",md: "UD9vzKp4R2IOUt_Vh.i_PacWOyW688obNXbqVAuba4M-1744300303-1.2.1.1-KDUK0ofpQoNqEbZz.490DhVI_WDBudHgOM4mJ2QJcmkR.RJITJJq79yMh8bqsW2AINkbKAYhIJ.Nn1lWH1xrwbq9d7v9OcsiM2Ydy5sQ781gyjcMFlidWeXX3vMLJXZ9VflyXkj6CdBGx_B_wy5JyYKu7fJZF.nif7J1.nu.nSWGg.PtVDCWh55oiiMFAIN_KUc.zyEDk.RN3tjfCBzsSnar7NkmwKDfG92oOqHqJcS7yqANWsuwgRAhqKOOSWcTNAEQ.pHeUtJv3R1mHYA5gKHbOjHJRbnmF8fPoVhb3lpahhFXVuP65HKY7R5o.gZf3qE4CTexNoFDVr6V_kh5H06JPEYh9omM9JtTPCKzGzDUaZyMdaPOlvsNgjxuz0kOh03rEFZ8FBZ.DtvjIIEinjAr3WJ8KHbA1TFf2mYpfMZk3uxUCF1cNwkQEGZDgxA15NmSOyxT7AV_PVFGTiowmmGM79tQHVMU8dvqnq5HjuIqXol543807v2S6e48IV3epPdXrfn7ZFmz9yklf668TVnTJb2zVIw2wo4bYCOtRfHqwMh1MP6Z.Lsh2sxvAhbutHDgxY.2z9dlPNEANNZqVg3x0oVP2m_QSgd75c3DckcMFfW9Ef9wfI_C3EiQzGBOu6QRT.RF8JaVTxwAAEB9wFL1m0KoA4hYFHEhHE01GoedJ_yJaRbUeh3ZQ3ZjwrwW8MEBrjHcMW7QU32ZBgpY1qNRsuJKkwpnnL0eOhTJvHo9kbPNcs3WdyuZEVCp50qF4af_hOrLkMHa1iXCXj3eVhRh6sv3w._Hc38ovwMqEVRiSo0ED7QutedroySbGZVqJ3j2WmmGnTp8L_BSgrudUcp8vLndFE1WvYqnLuhAlyOExbioK4aW75tLHsrpgbmaNF7aICkeaQKaQdZZx3JVZRdyiCVkRxO_DHs5pcP.eP4vQDD8DfqI6A7o4ItrBIxyP0UJK0tc2xNdrkVB8OQMQy_5Kz6Pq3YZ0aWbih9J.1WVTbClXnJQQzadyXhcRPzlbCun8JFLwVsr22lG63Fc7LfQuQZZKHl60wA4XjIETUa43PL6ckZHTgcJoAdkk.NV.6EEsvFs8zNP50a.gX1t5kJQk9mK5TFxMZnSA5L8jqPvGlgMHYp7b4W1ZGddjuw27ZLi8sd6eQBh7SvgyFuMQx0_17rDyi670lLSEM89M0E7G7CcNc9njLUp50uT723O",mdrd: "VqI.IqRgaBThsL29mo8FdH6L5UZnjPDZhLNQmR2AmoA-1744300303-1.2.1.1-3.eu4i.a7QeMf0Lt2yqQ7vYspgAj6Agk.rjSf6Hq4xSeAZO1TvMfeZswJd5Pq4WjVe9LLMy4diWiJb8U7j8iJ4uW76hjO0mC1LD0OYaw.OG3AXLL93e8pa9fPIyffTEoGq9AjGv1YzYsqHJgjaBp3zMnubj8aitSvtoLdJQDX5w6GXrXd1otM_1UEXukYuFWD9xGwGApQUfCgrqAeiL37784iv4K5j9.skzWghzD7c34FXd88AaHVo75EewbPdbih6Mj_Ujw16ti4Cff4L3GqUUaYHGZDq3t8AhD70Wkg0kgBZ6jawJLRb_vo0XScXFaPg3xW0SBUJlDKIZn0uGDygMXv5yubB_SJK4XfKnrtdFK5cv0lE85lHpzLYPq69syUJfH2.PoKqtIkgB3dQUzndNDv4MsiNRs86b.EXgaUtuA3GHkSNfAeLwfodyosyqt8i__xIse4stvFz2KNfZMQke3fA9yB.CKViFCJ25LzZ11C_khU3rlGBMFSjRxvsAxEA3ZNKPA2H4vboUU8VAbc.gAa3nb85NcDQht5amcdY8S8qB5zF_Yc8lqGwRV10OrClzWYlUU0XzQZWHELKLxfgAoqQpQqJgVt4NpMc_EmtlaTNezihUd3j2fWTVANudd1JInZqpt3g73YfeVREWi0WFwGg7IIzKydkd0VyFD8Dc0AgUqn2XSvKa80s22tVyQwNMz8t0k2PQczjp5fyyhYUNf0ezUaqsIdIpgPy8F1NEOzZ.g5LQCgAP9mbCJ27rI8e5BaXMTyd8JOo4XB5zLEjx1OV9fVPMVyZXbspjOveB6NoIjkzJJz9LXlAHVw3HuOTXS62sQ07P6Hskjv0WNu8DLVHYXWLclKJ_Y4zbxjk9y38RffZF_auolU8VB.AcaVK.O4LmYvHdIO.1CCA4CnV844jIfzat34ewf4isSY3DMZzt2WfoEDSrwILoVIVHQo5M7SWULyDIIoKMJOLfukTkXyZqGGN_TQgsFabhq7cr2z5I.qwrLJa.v814ZitjcjbFPkQCxqbB4jiYB.EWfcqcJlGQ.mSbwbhmeBIsb5OREPErekfOMP3l2sCLtMGUtmeShzdlp6eXnPy7bCIcRR7gWL9h84innvLMbHcuqAUyukjUHjE5jCb.w5A8dGOYc8C2FVmqu7jjNiQ0ufoi5BmY_cgWruNCZJls_4ETVorXV9V1v5YUeCT2LCldbJmwCyFzVUuw.io_D9NCKV1Ij6mxM8X1ewt9FhTDjIzcp38TBNoXWiwOi3jkHssq6WC1CRmGCcnv6V0qHmhZfs6jrzv4BS8bEKlrWQ7DhOmiN750qSGVUNNN_lnnUoSKGIDdY_6IV48WiPp32sLh.kMnPC35STcAF_Xaln0vzzrH_mmfLiAGczEhl7x9_O.S.ZJ8SK70LtoxktWx5wPrk55DhzYTqutxTF9bDqd.j._.7Q0kmzcOhRSfm9FS4NmPWXeV85WOcnflgoznALueNLqRGMeImZyMQctyV7hANJx96Ary3lxZPxp47vAjYixM4AcIuWR8rJUVguhupHhIvS6Y_j7VfWxUDZz87wc8pU8bYZV0fH_groID.T27xEPGc8htryUGyughpwbV0qtwWa_mIfsGfTzbO1wkG8dGxAsjOIz5md6Rmur9qmvbb3mmeTBN_NvLYBk.2ltmhei5ykELhnqadJULgE8S7yrgCZyXIS.eQO9SoqSXHDlArNsyqgmF1_9OO7QBkDJM6mNKfwx3gHKb.Hp3pFfqTxnAezzpSPkwt9mjQyYYI7tnXVamp2t0p3eFPfScKrTCLSLjUGh_WICJL96K_Bv43dP6kxr9ELai4jkDanUIoUZ2yYP13uqmoqATbr7.Th6k6gHXjjnNWJMA7qJrnoEARQJV9mRo9cGNEDFVLYts4C0NWytHIqbYUosJea_7uuVBKHGzl8WBS4hRh58ywnB7gmVPpisWopwGUXBwzIsuTrO4RI.99jb6N6Imk_v7o1MlcJ0PL4mwQZ2farq9hOWu.qqajEhuEjV9YN.USwBXkKOJjLaQLhsme"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=92e3683e38074497';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, "\/software\/7382?__cf_chl_rt_tk=CIwTKBBXYxd7T5G.ZX0nxBBpvzr89ZtDS8FLctxh_Ds-1744300303-1.0.1.1-vtWU6XrgYNSwzL64NZU1cTCkVofWwuze4xGLbhgAuOk" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>