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: '92e36674492f564c',cH: 'ffLgw__KKs7GI3nX3h77zoCVYku1j.krGzYzQYGcmzQ-1744300229-1.2.1.1-zcrpnJWJnVcfjr84FW9x1KlIpLF_bhpPg9PedOc.M6yaMLDOWheXeOhuUhhAU5TA',cUPMDTk: "\/software\/4733?__cf_chl_tk=jSSMohWAJ5hF74Q0t21aIUz7J0vaAZTEeWJli0STy0o-1744300229-1.0.1.1-1DJfHLdKmtTeiK_eAYs59oQ8qURAzCXiGbPtyW21y38",cFPWv: 'b',cITimeS: '1744300229',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/software\/4733?__cf_chl_f_tk=jSSMohWAJ5hF74Q0t21aIUz7J0vaAZTEeWJli0STy0o-1744300229-1.0.1.1-1DJfHLdKmtTeiK_eAYs59oQ8qURAzCXiGbPtyW21y38",md: "LF7affGIj8pHFE_g_catdWCEANEfQps6SjLrDaSat.A-1744300229-1.2.1.1-Tva0dSXwa2p4wVB4RgJUSWegVIqyimDbDAsGX5iBx9DyOPrUuZxvtl3q3K..cYlOMTeIiYDo8YbY7T1p4DaztFs.NsWS0ttr0o9tJrGMClajXwZgTXrocNLcDRafqu70rsVGS6FCMgRQgH7K7pXEv2CB1_nLfQqUKHypsoUYr16a5PQD_NiD6nBb5u8bdpCpBiZ6tuAJehc_3v5Mr8hs84klW3n6cRsllJ9QwjitQwrTM2z7fqaQLp9Fq61kNUKaeqvFMhFFoK.GHyOVIC9f1jHxcRn9Y6SH9.mycGrOIFSo_zoPjvEnjiqiV9iAG1Yw4MyJsX14Q.MXTbuJjQ.gRhtKkCkIwXU4MoSEhjs25Knylgg8QmXsRVLz8uM2ARHlAGSGYyxHAvNmlnbXnpj7iEmErnZuDOVsC.Ix9tQm45DYacMMDAsbJlmF2AOq5yinHwPGy02svLwG4JgFpCyb8Z1HJoaePNhn.NTWazqwVZE7aAn2A.G8EyIA_0G3t6iFU7Qq7ixdsSFzKMWih1bTqPRlTg26pvHXo7Ljpwfry1o2qmUDEI9XdbRp0jN26.T.csxg82y7t_sCyqv1GTBrDKPrE9Q0_qxmV05C9a677dogFKJwYGyXSGF._4LmA2XC5bHOaA4TUswQv4kT21gOl3Y5lip71WYi8q8vxrdpcdhjR4YfNBYACvgnVxcHyTRCUmaivfzR2BjE0nLNd708SyH0Oj2HCdFsreSaOYdfzvpRm4fv9fDouzQmx9Xys5DV7w5HBZ7IZcB5JK8EXHKvPFYBYZFGg8k7Uuct886nWcs0xL0rp8UX1Pt1E9g3VO4EPmC3.jnyBgsapwsN5G9a8.vatm5x.6L9cUgA_jf2qKgs0CmQO3qY1t5u6xGAMwufXTqxvB7aWRSGhcJqvql6GagVDiU9QM5_Iuc9fMyTLwkW4g8wm3b8S2COW7S31hPqRALLhl7vYo95IscXL8wgHvlQ9H.Cf0x17DGDRAjbZ8Ya6dnp9ZLUd1bDdrIlMVXi_QEyTne.rkIA1pMUBZKFIe4AeBrzXuRpEtxY45cN_pwSinrck0277nGscfQbq_MyzDqvcqLZs3NsIIY71Vut_.6Q40AgLSGbuHThES502M33Fdz8ZywDOb1z5o5P4MVHeUNkTy9GHFTMJkhxhaCWF_zjiM6f7RCKn9FD17_nnmDf22xr76sA476FqWb.XpWh",mdrd: "BeGgMkE9GZBwooabAM5YtMTmqNLkyItPVRZp.uTj0zo-1744300229-1.2.1.1-o5JYq9xnCDUkLEFAioyLhGgzj7.diFQWCSZc7sM4MXrko2FA4D91g3s9XSStG4tGkut8BJ9qRmA8MOlYPneYdssIpYnP0tq8mIvN8i.GdAgKG46G9gLeOKl9HvbzKJCRjkscZ7PkEBBd1p40VCBg1pEn8_c07iIvic95_rPaQ.THjVG.XWpD5If1.r2FzGLyoX.UQIKreXWZAZkRch50LC5q056Y0KI_V8NYt1gleOpcezuGkpN6uAFyA5nMTb1IuV1yf3etCohOxzcZRLekF.eXLavoRUtbo5vBxLqmbZamtG7YrlrXXIeWCv8GwWTG6dcOZ6ZmQlYGR85OqFaQ8F.oEqMa.GSq8eAInkq6DCuJtS6HgXw.lSUbn2zUxB0xZqfnBESRL3.ybDjyGZsD6SRWyKeDTQz38c.ShBRRcA7bym1Rp0CDK.ADbXhMJD2CYqygOuhDUlIhFHxHOtKl7l1zglu4VJLx3ap6J8ZdkRVY9cNYW7b37XzpmAqyMeUHi3JvhDdg0eKvwfKAGiEfxQZb5SEBbxKMG7nI7Te_LayRNKKPh1_sQr4B0pdibAPlm6VlrIYf.hrF71_8Ql91jOF1ZBUyw9sqCBP1Fcfg4naj1SfJaqGMSGoR00LH5HCphDwrE9WNpNLvaCfMV6uGuTHm9evCiwO9TWMwQAWBPPvsXz6wWqgbi3uQxBjmZSQWSUnpNUC9Nc1Go6UfBOH0NU7JOA0MQ2vMlK_CTf6REZW7rDXz9hBi0ynG3kbn5M6VIUIJqCaHidiqHsFZTn2OoGeWQ8u98YVvDe8MPYXz.2sSCw5XJEpO43BAzuwcNd4gturo5F6KAMjbl930uos6JebgllMrRgCcHoToc3ijkLk2RbHNI4yDeuRr2UFwzCVwNtqMbYNYR7VD2i4ovxY8cSktnkeGElfP2y7bUg.v1c.AWFBF98Jht0bS00Bdt17d5md068Vx.2RzLeSbNg7opHqu0AYNDu0QzhJm5_f6_y1kW2BtQSSy.ywIsji9kyZy5vdu09wMkU4QJQlP1Y6.KX2uyn9AsMBdz0ugpAdZWP_BNzlj5WWbY_.TvVUzDppsx5yAeUN7B0xErdgQzCAGLC0uFEcmslIYmMmym7E6pnEZN7yYz9eKL6xuFBHJI1G2itcWQNYBAdBAUs0f6gjrmtWEtRB51XV.aZhslwnQXfPIpZvwFdByV8ZxxUlT2fepiWvttXaSQOJVjLIE0HQO5j8yON2ar_NqIXxhzOl0FQ9dR3bBErcsVes9e2hP_1A.k1jnXmgAY6cRvhVDyTBF_jUcGahz6lMBdHmNgyiPnJ9ERW1o2D3cHfM.5LvCutBeqkinobCiXU.C0bowwm2nznApL6TmNgAT4SRFLoDZ4pD..q4krtV8yGUIPKDt61kWWbgpvGwtXiNleW7CTelJkVMYQ86vFs4o4RREwTGA7E_XL15MkxHrVP5ZFZQ2hIyAC6OC6mcFM0lV1P5HHMtcwOWxoNUWHlYEkp7ifYBoJ4w0o15SB66Si4poIQND4HJM5JnbXW98to_d2vQ11POBl6pZTrvsODTPtfCM8dCqBOieLQnq0P.y1yA4XNhBYrIIzHT31QRCGdMqgu7f0k7pPOto5gvHwV3OxTfJA8D_2d7n3AKwOxCKpSPkv6Px.Qztx68HX2fz5oTjuXBIeUMi1l92b.GDi_KX7xVigdg11W89rElp7f_JRn.dmBZIfh2QNQD20wpwTITm.tZP5b7OX0w8DYlPFIjejnppXdvK9RgvTdyAfjBgyetxgA0zfHbPoZqxflN6NNlv.TWuv6WobADx8xi_SrbEuPBzWacjgtbKjMjbNYWEOLCmKhjDT.hQ.S0ajCA9dq69zRvyXQ_qneA9cGZZQTJEjLBmF_jq.P1aZjxSQh3d.EOi.TI5N8eZ7XrWRN3gNOvYW.b4jwiS8A_05rcFZg5w13EXT31o3skalT0DQTuYudYOeDjnVeykUH1InQP64sM8ZIEP0wPNfuWuFnsWRyP8X_vWQYStVO4A.3yXkTJ4MRfoSsrVyGAK"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=92e36674492f564c';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\/4733?__cf_chl_rt_tk=jSSMohWAJ5hF74Q0t21aIUz7J0vaAZTEeWJli0STy0o-1744300229-1.0.1.1-1DJfHLdKmtTeiK_eAYs59oQ8qURAzCXiGbPtyW21y38" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>