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: '92de5512ea27fd0e',cH: 'oCcLIVgg_KI.4MRFf_iX.MMuqcALTyJeOla_4F7p79Y-1744247089-1.2.1.1-teX8N6bfcrGAHsyT2O6SDQoD__.1oFBRbll8SbRRxHG0.WKaTQsATxjGceOg6xTQ',cUPMDTk: "\/1432.35194?__cf_chl_tk=CwQiFUKlFKfC_90vpv0yjXsd4eqTwrG8oLG.sovcU38-1744247089-1.0.1.1-oM7g2gNXGrqKQxrDPm.7Ea5utwUcwb1U.Dr8dtb3iGc",cFPWv: 'b',cITimeS: '1744247089',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/1432.35194?__cf_chl_f_tk=CwQiFUKlFKfC_90vpv0yjXsd4eqTwrG8oLG.sovcU38-1744247089-1.0.1.1-oM7g2gNXGrqKQxrDPm.7Ea5utwUcwb1U.Dr8dtb3iGc",md: "Tu54MRnXye8wqutix80h3dWklxUzrToW4TEOOw1j59s-1744247089-1.2.1.1-K8JxAOSvxiXUCEPLhyGZo7SJZHdv4QnYbLp5n77nSqk.jN5NvQ9a6Cgp8HOnfaRlQ_8l28XKUQM_Lk6EKlHg02Kx49HpPwoaikNtoqEV3ad0hLBUhCjufy1O3JZeES9xr.wvokJADTKW7O8YOZVfqd199ZZTP.crxAkXq3AkKIAMX3i1OnFe884JuJS3blcJE1hoqRJRcitY74o9ohNKwK8zo1i_TODFYGrsCc3zdkQ3fu2whWtng3Rfn8GFPNSAjF6R1ou7QqbQa6E7UCRFw3hceN5lu8ndbjgz_nyrJKONelnV5kPwXc9LvW6FWtTPpJ5itBKLHosOGj4ei6lubsZew_UWSmJBohX5mQW1eq5G_HBtA78OWDNrfmqcjTsGeuvmRDvoYe_jP7m539XCKInPQKCFhW6MBy9uwt4w_.uzsAifMmZY4JYJg_qjxgphgM7AkfOZuvXbrDmkMVvimUslculy4J84gCP3JyRAuNyJow_6EYLP1AFaSN2XMF1Hc5RTuUQodUdTyLN_oywPNiFvcBtSaf2lC8WzqfiBhH6hAMR0NFt8jcJ1xxpJjG8E8rgqQhHdSMcEShFh19vv1h4cPH.aePAP2dren4Mw1m7Lc.2yb3.u7nFAU32yFjzBenWhZVx9pate8VeZD3ylUxZkbHV5ijpMGcLrNNDNfc1wyHXgeBfY3x6aT6Rycsh5sgYeIlKSAH5cfXmpZFfy2MOukRuHZw29ZNI0e_X0yJPwUNV.j1nmikGR2JLp_XUkUhi25L8StS8okHLWxAYZW7eVkRWEs1pfuijpAxDEy3YtB2S9Sj6J2WENsmdkhPgRSVtlrLaqBNkenBo1PadVrBuneqLuLDWq_VMatervjaYC8VK_t6Z_jk85wwFEUbPXFGRSdFE_lPWQNmG8b4Guu4T2wD08RdyYThwCSafBpiZWEofZGhnhsphHAuY5JcJ1T5OVld62CCj9DMV8FS0JMT9UJ.WHCHeiKGlJ8vt3n7Svt2b.gD7n5ovvTc1Gvfkqwu6oeERiI5QvxUsVQRjJezenPpQf86s1fOHUDEumyL6Xmit.8iNhXXQS9rtfQygd.o4dD7vNtnVw66H5kTrUbulSyH8lxlFbjXziFc9o3iAyy1j2qdpJzGm7YChKZrpCVk6TWZjVN7m9uzhkAfnORmF3Am.pPdtdvic4WPHyD8sQXKOE6xo.lxsM0bCSTBN.",mdrd: "OSIAYUIAB5QWZvqfaCN4IbUP9qe7lBNcWym9oXtjqVE-1744247089-1.2.1.1-oJRJyM8il26_TArNSwGxsXo4KgT.xsOYf3ehzQwLFfI_OzCjX.Msmg4SIy7bbW8FzEheBcn3YjeddumvSpR4GlotbzfOy9bt4vCf58rY2_8h1NRy281hAMInCxw_zgxpAv1jeMZLrjPJv8fTFCMCei8ydk65G3M5yRpWidkcmSGU73NMQeTPZlieDgni15TGqthJforftH9A_LUA.pe.zPySWMmdeLhBrNiK65RAhZvDSoVY9FsPZZPCvcUBQLjgl9mTW9lUdyYXeDRe9FkNZ30Rvl8YEMQg2AezOf0kOR5BLNTJcRiQAMw3pPtQZOvQGQ990wU_MRPaEoq.aSan2PPKHKSY22FP5Teyq67BhG5r7yZHvgOGbmto0y2i.Tk3j6e7XjM8Hezpxkjk.JCFHdvH70xpWC9p4db1V6Ljo14K0Q0.a85YyKC8C3pjJDyYkmQKVGMk7W3FNcoyAfLTCTMOVwklfx8kWD57nIrLsjTc6VzWt1DkgphNRX2uHka0HGcPo00RrD7jBd75z0g4E5Wi__Shyiuo9FD8Kho75BiGKY0fMY75G3a2PMUQu3_7zWiiV07nPhF90R1Nybf6S37wQ8VelSEsujtpsTB86XZ1qxAaH2_lqjGSfs6EH2VuxbV31aRtI0Ma1RI_1BE74qivdSgy8dbBnLQCQJp1aU3OkH4x3tqgHJTzpoNfCWqeGVDUmzXd4T3E5_1aaRqlpRjragsGY.955cn5NpT4tMe9FWMbPukOxiogksUAnxVVDOtzvhBJe6tUfbEPaa9bv..fMgWm.XSMsYbrgbt58QppqKLC3RdQ5YsmSngXrWmVd2qMzkrOV1Vay4koZqf05ZLJO5tJSpYw4R0xLX.JHkwBvxLytuNWYIk8fgP6xXJvPt57i_q84g6w0.sIPT5iW2MzgPphCD2SpHS.SwgKa7gPqAh_nOYsYmwAzvY5qcB2BfnUaQWq5WQpgqECGjFyO_xWSSQHiR79EZQeFHVf9f_ltWrJmvv_QyAJmKfQlAEX1a6RR9V6F.ij_fllO34phamsT8SnA_NGQxVC4KQQVK0RWtmeoBoBRJkiOo97LlRxAdyc9fVG6mfzFM51EvhHRgBxFBQiaShKuSSKyUDUBnC9zAR4siiB3iGq0N.YdrsiLic2a7dDUwHVlkS4NLYmrkzpU799Tdh_5gCPIUuHGv.JlDj_9yYHK6zcyPh8VVD11LP9bgykFhbMUQYbTpCgFyp5O225yFFSBUs5RjlFuaeV5ApMLj1nv.j11SEjvo7hkKPlp5Jdh_968Be34_GmnQHBLQ6IYc5fNNoDZ....OVH8xI.gAbRauqEDMub9TZmBcirsZtmJMkbKJ0nS6CayNBNnFo8VvPTCud.NGt9FEZFsdbDxhLds3LoIpC6MCDT66Q_la1vnzXsZ6858uoJsdOiXSeJGuGzd.JQUhRlmFMlUkOglBnlIrEpJVY6jxul_2eHP5m2TFa.pcVAuTZg2cvZidav7QWhrflMW5U4PsteuoGeFedPGyz999oCSY9wdLh5yB8W7IU30.Irv7p6pGZEFmtF73fthrZLCirNcmQPaHG07pXDLL7x9MQENqyDbDkI_bntNYx9kEJbUnRtaIgmi7ENOUOV_NdPY3PdnaG1ckxJtdE0p.JHTZh205JtUniBH47fRlz8nfxeXbsGXpNscxwg2QkEUEY0gKYEtEASxTnkkrJ6bGKcNJmApBfiztKNiLKLI6aAFghyZ_7MUDAAw9YkAt4j8r8krqcbH8Mmp1iFPZW2NFh3dYPXvYzQqGPPTwrwj2Jeb75BIx2jF3hivXMbUTbxnn6ZIyFNyIcE9CG1iwHqAI392odWRSmW3GCGDXLIvZ9eMn_N0xtPnF0vEZhWbv1g_HzZvEe3jIQIS0.Or_qpbKfr..wkmP8SHlPy0Nn.lwg2KTIfuczKoa5v5RaH35WR_bO_hOW1FUZu1UWGL5BrR5PsNrCCMFh4BEJtHygGzM7XE9zOAfF2cOS81QHzIGsiBFx_jLXv.iJEJsgfuvUXgDciH0JheLrd7nIuNtbqS4Gk21TkSrVBeQ"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=92de5512ea27fd0e';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, "\/1432.35194?__cf_chl_rt_tk=CwQiFUKlFKfC_90vpv0yjXsd4eqTwrG8oLG.sovcU38-1744247089-1.0.1.1-oM7g2gNXGrqKQxrDPm.7Ea5utwUcwb1U.Dr8dtb3iGc" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>