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: '92d4f49ecc9dec6d',cH: 'aQ5LUAb0ehAlsIKL89igIBedv.rlossmKIFt4yLurC4-1744148766-1.2.1.1-87fxdj5lAlVqXWmtE1noWOnw4.NVnI.V2tkFQDbOsMK6JHJMR1LxOOc6Xa1Wvxik',cUPMDTk: "\/software\/39533?__cf_chl_tk=ij9T3P6BVMqIZj0CzLLoNJIv3PLde0wxZIV4bvUS.c8-1744148766-1.0.1.1-Hv3D4sKDodqakw4xfBizJsZpuRvfaCRcEV4TZZi.u2Q",cFPWv: 'g',cITimeS: '1744148766',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/software\/39533?__cf_chl_f_tk=ij9T3P6BVMqIZj0CzLLoNJIv3PLde0wxZIV4bvUS.c8-1744148766-1.0.1.1-Hv3D4sKDodqakw4xfBizJsZpuRvfaCRcEV4TZZi.u2Q",md: "gQduPPFO68orkChe_TkrjAkDCeWXFdKun7I4Pged7sw-1744148766-1.2.1.1-EoFMlc2vkl_X6LJYiLWUFQ3JWP4DMgUSryUfchfePs1lz3EVjwoyLWcZ36KbBHAqtOocFHoZwZlAPTmhacmv69UusonXkk6gooLY1pISTzQTaGB.6U7BKpXJ7GyD3NlpmfygVCs59_ojLVQrY7K6jxfpfSMO9zxOHgQf.Mbc_NP9A31blzbX3KH_H9IO9gs1kPszbs1P7tJ.jRAOCqaoS.H9auPWNibpoLoJ8plzuPTWQ6xz5Hsdk1Yrgvwt5YkH2FXwzZXPeJEQej5PkK1L.vDt29Lho.MXKOgr6cp3X_qE9PbZjD0rT5iyiYjfzHf5129gO36oO_ri9fll9iL5M_s7dcKss6geIn1DH2quGKajMoFaB72F0ypJakhTLs_h02mDphTKSN7QpqoiOn2MTgPr1ZPhZe4NOBAXLkGdeKpSH7wyPEEkuXS1LnxdybUF09BQaql4qH1fCweu4dn3YefDbaJw6OPGZ9eHiKYlMfqkQ7M13HB_V9_UqMN5xlA5tlWRsFwadZ0fBRZF92I4jCIssPbiT9fVncNEdCs.TZRb1pTvVgXl622b73hVlC.078NOzAum311o0qnRZhotGmF7joaSfa.bv8idPH1o36BuNAVF4jb4gdOMW_nIZuGJcw3x9dPhHTjrl3XqmP7F8S8l_d9Jr9pl5v_LiQDMqu9QCOuLdlQeurln6eznNozp6j8shlMby6msG7DpkbxM4OSmrKUc_YAXCWfAIr3jTvPuih2rCiT3G0uvJqIPFv7NmI3Sy3Z6AXtyJqEJmIok622rnENY.eSKo72nB4lqiEwEbMlYd7R8wF3edZIwrQwbNzgp4tDETb7Uiq8rI.pcvEBt4GV20IY.ukVJuqjMrcnju8H1jGazR7tnLMc5TBkyCJVdaned7Ksdc_qab3_Z0HzVFuW8MJ9Gp0duZglNXGcbKkxfYy6P04i.qJaLgIMtmMI7nJeBYkW2p1We_yg6f2_0.zIlX3GKWLjfK3NTQrNdexCDMbHHMJpbVnW29qECGcJnwT6vJxLXG1A7wg0ksKeItsxdNxheH8p9YzT5bV_grLHMmw3bIoel_O6z7ycEXUmInmWwErQY6sCQWSd.aEnoxNCxUEL6slNRSjCqd3n1tRADLstcdEePnPo6RBS2dlT9AZFvMORdpWBVAqvAbnvKc6NFxN56BRKlr.rC7DNgv3wM721uGK9UoyOkVqkx",mdrd: "X8h3C6zJCv2Kp9yhBMoYTpf9KrdzcdeToIrI7zyqbWI-1744148766-1.2.1.1-wIHT4.JyXw9zEBiiSVD.nzVJouTrUpDcvROE4aMnydcWLmhGq.vYDnUXYscrvHBzxTVCw6E5pnI9lGosJ8ignpqRmTKV7DIkwymBqhUDsYSM0E2mjpHGBnsgcKmFTEcTGwl.yoHFj4qzN7h5X3cjlD3MX2CmhdXq1Za5NLg9MG.Ea6DvQjBmxkYmhrKJAjtlwEBXXPlQXtuon8IhS3eUL69_4oMzyxd.zDHr7mPAuzLvTCcHvMBmKB.zwnWtpEfayZyd4kDqFQvY1kVuaMMJvgI3NEop3vincfZEKjSeEPsf4vV34hTdSX3DwWwf3PYV5_mb.1W03xQKNN4mf_Lg5liKvQXhSvi.Q_DWnGaveRqF0kndCTA7a_zz_fhB75FeBiQf6v7UFbZmjCMxbdTv6cS4JkxNmaOPgsFWrBWzCQZyjTl4WLjDw3AczjesuOG7GPp725d4v8KSObrXZuGI3r52eWOU0zVWb8M.mmwKkcCDO8fqgifgCXmBC8QDH5vGXllgYe3sPLKCWg.OneDApNsQ7M9jj.DsxtcXXwBYXHC_wi9zrd6DH.brblfZykRaqgVDEHzYqyIAM7RXWuwz9sBEL6rZbut2LDh2kWnxBSAGoJZpl7nxtFsYIpDFXyj9bI.PW1672Svl1WPS_b6k7qJYf1.OUmqRQb1P2dMcAigP7rh6oju.EeU3keTPHs7uVFViIpG1LfPLn1Gh9V_QIYceWPF63APonKGkFBCfPxOTB1Z0wT9icVGLNsA75nsA3RE5awZsPvUP9Y_3DRv6MtpYrfv9re8rxCgPGa_XO4mPOQ2GN9acB.p85JCJCYLHpaLIsuSOOcKNeJiS9BhmEDoxkieOwlnX1QylVr64QaOI_qDzg91cocTZ53ImfUkYxO20lvcSAhdLgKabcrDnEiP47oVVuqm4ysMKITmqXSMb2CPke.3eY4mzrdCbtocH4k0eC0jCzRt_sX0IoJxJMf.Wr21wf8J4.pOzO25hDMe0kqvy2Rhmjlr.wGRgCwrhJ4kS8IBOv4M6xGGJT.GFoGVcMJG94OmgI89i8GL7r_L0CAQNTIC4IOxypoLR4vwGH1PSafM1zDUDptCuGV2HAcmJB9gTt2bZn6YMJsVryoEZTTQ0wFPL02cjpvjV.jF1R8HZK6SRd5KfEO2O7dMnuKq9_BYjFP0ztbE1CFg1JyN40VWGLkthV3ky9gX0eAdGpdgPuc7TnxKGG0c18wAuHmsOYquPptDcq5D8xn2Q4QC8GqYjgjrltdS.EWoF984ubuP1lpC2n3lhEg97SkuuSmv8r4xn_.kBoZpkqbgr.GKT3s04xgPN87P9.kSe9XK0TLUWH4ONoWVgL95S0XlkeXn.VtHwDPC9lpKqT1jVJdbE1o8w1hOaPFecl0VaBcZ323L6hnBGepFtJKtQn1fKfeMhKt4mz0mjKASDShiiUFvhaxFRABZTzYbTpira_3OjS7LLRzWflZcfF8rui6Jh2fF8qKXM_AkQL_Q3czBwOE3Ugmgjm5ZgbaB39WIkjM1vmyKSAh4NPRU4066BOCGChf1HVyA7eCamfvTlXrMeY4cOUf4TrUKW9zaRGIXadT7Ku0zH9bv5wzBWJFPF7iO_PM7PbnlkM3CfXcaY4I71nA1Xi8i58wWaiPdCMfmfb2l8SjIZejwASwtffCT2qlHyI0gjYOzVMrSI5AFYN0zBf4gPJ8OYP09LJDjWMm14f2SUwb4K63chBLMb_aw1oXxWXNGC.Km4VCyrZK3SF8A0obKy4gVUMf3KW6JCqkLN_esJaiaaNfbTviSo03DsB7NkjotciKETfCk.c_8wGZJyN9DkdpwFKaR1fHO34w4X4NoRnH.Yr_sC5HM_Vw6hQJzYRoGQSPuAkEzY_rhbec9JUbLZX8N.UVCEg_RTOThxzi07_UWBeVVWTJVxbTHG9e6ZHQtVoQlNYuyQSDRVc0s.D3zHukDXPa5LmYu3kCMBr9o8XvQZX59PdCGCIEF1cXIQNCJH4Q2d_74FUSaCHku76g6mxbyChd3dZUCQ_zMwMIWK"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=92d4f49ecc9dec6d';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\/39533?__cf_chl_rt_tk=ij9T3P6BVMqIZj0CzLLoNJIv3PLde0wxZIV4bvUS.c8-1744148766-1.0.1.1-Hv3D4sKDodqakw4xfBizJsZpuRvfaCRcEV4TZZi.u2Q" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>