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: '92dfa5208afb5ff7',cH: 'O__bis4KzlOJDwIWULAUbzJ2B_yrxj_24fWxWvcrRqo-1744260853-1.2.1.1-gm71X71bxERWTnToQwbUcoCVorD5ymxugtCq7hJ5u3U7z7fKz._cCRSJwiRu0jun',cUPMDTk: "\/1523.76013?__cf_chl_tk=8AcX.YcxC.Y8xQXus7bmnPTVbHX.PtJOjGBLyK79IZc-1744260853-1.0.1.1-VSmMsdK1AsKx_ijNPLgHQgSyX7lqS1ynJIcSZfqZ0js",cFPWv: 'b',cITimeS: '1744260853',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/1523.76013?__cf_chl_f_tk=8AcX.YcxC.Y8xQXus7bmnPTVbHX.PtJOjGBLyK79IZc-1744260853-1.0.1.1-VSmMsdK1AsKx_ijNPLgHQgSyX7lqS1ynJIcSZfqZ0js",md: "sShELlw58mgIwD_qnjT5twCviV_4a3Ul8ltx_On905I-1744260853-1.2.1.1-J1BdU53Blqo4.c_YdrNRq2IrQWM1oDMo.XxSBOTkXo87oqU3AS7fumiNMdgINXGjj8S6uapX0eNeXN622wKNT4tQvp.FmSDx_sfBf5bTNigyI_9JB0CmGf5KvZoMgE08HKsGLaU_EIZbTmaa_tLhLyCFHzxhOKeP8EOjL.OPL4Ee.wGEo3v0Vt9P0D8z01SecAsIJX6Ewvv5TWoBFSfpMhovQkwatMNqtAHu6hPKoQ_nKKsW0o_9o1_OqOQyeoNuBKgkcV4MJDN9PA3T49tU8UdSnAZBJZ8Lp2UmqJMp4ALAAXX6d2f1umNdtqkzXPXwkBy_jA1H1UJgpCiFAxZt86MQAiOD0cvTJO.I9DQPD.P7AwVB_ENNS8yapp835fggiE.Oef847Qlzhvv44J6n_uzXC7aPCyX4fPPe2mLpTTm7vxRM6l..Mf2UW8NJVCb.e10zLh4hJRLxqLYSwGJlEV4..1HJb18opOPF0IOpwrBj2wry._pwYImp8Vc.C5FlqugGpZ6uVzlMYDKUZuuQAFUS81PkzwaZNAgggYZTIWY2ceCkzLDchPND4NCUuLu3wAYqE6zZ0wuu5d.N6jsSxcpSaUORn0Yj8XDTzsw2lsARqbUdVPqjFiCvXtQaDsWqLYJwhbdGKWQpBTBdoxAeKVo42.P1uxycPPQ5r2CdVtEDhmXo0AwCwl_wKUtHGmw7k43RsJYN10GBhi1BO9BaUMlt5RWdHiUdpkiFwPLDDnf5H11qN97S8soEZkXGHgXYWoczoDMzYMY27gSSWqJ2Hws85uTAyreiDJbGi6uCs9OTnnO8BQgXcQXHsTuFVbFGK3aFZnbwe2PS7_Vm9Ro_U4kEOwa2E0SXJgsht8f9qyX8ZkTunKj2KQVrC3.qCELV8V4_vDAsdFg8AJIHdxRsuPlR4C5lTyV9hl0tQd5h71DSctsLD3JCexDYaa1RD1AysCTDyMpbfycpEoyzGhpn80AvJD5LX7U4F5H.rb0pNC0kCkaFXbOad0_nZDfNMFL7N.Kwwg2NnDueHDkTn9NYVIkwgJwWqQJSeL7QiHNFMTFXCpAbKhAYzh_SMENIIj0g5hwmuUzaV.9NXYNrHMi7sVsUx46UYrqsI3GThUUTYvVcj9cxsA2_zdz_.UyLlOahFYY5.1PDU.Ha8tsT2PLa0sizGps.WjIOCTiBDdCDFuGU9fSfCuw2RBiYZf6iWB_P",mdrd: "ShbzQCr9VTI4U7PWj0hqZWGIwtYz.cGJrQlhkRatyl8-1744260853-1.2.1.1-G0hlWE.vbl9uhdu.uQgb3U_gK2oyW2wJKJM.wZA59KDIsYRgTcuxZ.N4GvigfB3vX0FHiRNfl3e_4OC0dFG7gBnApNj_h2gek01sP97AfW.0L39cclq98vaGxa5FUnLtH8zXHWOJprKcRGYwULGOPW1jTQqFcM6x4g3HVZXURBctV9Ay7NdG1EvptomYq3Kl9DkDDLADLA.qQC23HtT_i3a8VpyeavA66PCY0akBik7VcxZjRrfVQnBL555kC.jvMKNW2rOb6XeYf0tAcbUd_5XKZtmrI0XB6b1z3xkyiZikLZJaLgQftXzkPBqB5GucnWWk9_9H23V1C0PQfsrbbc1LQGUfXiczvtUxQwnk54THItXvCHLDv_4ZL_FixPI75jp8leNoEy4M2zJp8ITjfNEy3RRjgpgMlojBu7mwSiDMuIcKcLBlHoQuUp0FzgejRCLX4Vh3Q2MhlBqRUsJ8m9CI7PR5VjaBzyFpWqSd98hThAqXayly5xgs.HN1_Eb.O8bu5.KMmKuZqkwflgahWVr6M2GF5HYdL5SfXIIHYrbS7RvLI3jKw0t.1GaevbaOrisMjfMjdXtejMOtlisXTX.mWLPkyzHByAw5PFao7czmIATjhizyhuJU0kWAOKpCOxopmiXb9UgCPK57ffXC4WwAMzrwwBkfJeNLJlUPYUfEsXir5LBi.UYMkzl_rjnfxyCQczfPHcJ1zbGapqRerz42YYfLSE1vh52oCNohGT_f4cPjVpGRdZFQXb4ZGeu6.2ls_re8zh9EPBr0yn4V_.O71MIShdSCImECIdlE.MletDrQd_TDzNDHiRTsBtCh1h.A6QFtNaINq_uFQa9oXM_yITJEKO_sQCv7mcVY9Jn8JYsigzvcjeWShHoX.T_AAV6XmOeZwvdf9F13rPz_3lU.7zl6BgoC2eI4dF_Nm0zoI5RfTSAt_64BCt1kHl.bfHFriPJYc4tpw0VyjJ9X4R8IqS_0OWaW_fla_bWG8K1UW1ifYj7vtVo8zBTu.Q9bt9PzQfrG_mrzh1Tc43EwsCYDPgpr8L_uxmmWZjU8hP_lgQUod4wPkQwkonr1_Qk4XsHOYNpZZAW.olGTzr7pNFBM4isiUCLeaPbMXbLdboqDgEZbWjDCpv0HRSz.w9NwozspNaXzP5itzmNj.YpNDpqnMHb12f5TuB6gnKIeAgJh.mYDbNcD9SnzFwny4ICasyuUsmBWfK3EUZyWoiruvkwgyClKRMifSHGrRb3.U_TeXaRn7nQbtevbJd6GkHbcX8uTgaRc_P6jlz2GqeIQkeuIu.q4nm61N.mDW28.uTk9yNeToJnrJedrbCWFOLm.Z9yEshbVtqC8HsG4z.GU2SxjjRi.FZdR_UDVxXLAUGC8HW8cBrRleyQaiGhGY0C9Mm1xCCKc7J2dS8pFb5LPN34knrqTU0tv83Q_XjtMNET7_ldYvZkxzFP34MhqWGaiQmRG.zQHm1LRn61HEK5WKsII67POnBVDr8Qf7gk5DTX_U.bNwY3OOHLwY6X.CE6VkjmjrYA8LfM0ABomyuPdvU5NvLsSvBPFoOWiVjb2lzchO7PfBdEK.3wd24YCb7v8JkkmeuUbZ_wCGoowypMHGRyy5Ag3nCK3kPoyVSOp_dh6STPpod5QKuhmp63nPtlioBqGrqx52OtQph0S2LlfrhNWL0HrdyPXCDMsTXW_pwp2OFG4PW_yjN6uATVs0NXXEs4s4gHRN3GZPD4A5eyF6xinciQmUb8gd0Sa5Wjxu8AJcvi2c.C373NQ0z0cwD53NjRLnjWSK4Wqv5Y0ImOGSOKRx8DKgXEopLYLQ1Te1T9dp90fbeVUbuwJClb79rhAcYF7LpHo1ogdx0A3anIYrEoLocdeWv9JFsEe0hi8nbck2e.979UljsOdn.mHcuGztr6Bj70vrq6OPDzS5YSqp0EkTlWsK.4mbAA6s36Y_4jfbzg53tL8NzQgMmwKRdSSrw1HsOk7o97mv1MfqPI.TArOiRwqE0yl5Lio3iWPQhs"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=92dfa5208afb5ff7';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, "\/1523.76013?__cf_chl_rt_tk=8AcX.YcxC.Y8xQXus7bmnPTVbHX.PtJOjGBLyK79IZc-1744260853-1.0.1.1-VSmMsdK1AsKx_ijNPLgHQgSyX7lqS1ynJIcSZfqZ0js" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>