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: '92d9e2f4ebbeae45',cH: 'hM2vgCk_qDLuJVMdo_laI4e43tDfg8Wu9lEY8RRC92o-1744200471-1.2.1.1-73grCeLnGlbG4cPzyHynWvhPnxodJGv0WDHFAzWb7NrZwHebF7NyDI0TYN.HyEXl',cUPMDTk: "\/0721.93046?__cf_chl_tk=57mS_uC6bF4J_RMr0MeZK6g0Zl4KRoAuEGuTIMOb8hU-1744200471-1.0.1.1-9aY7omu0QG2_Pju27WMfErfKLnOSDELuYtYHlMhSrbw",cFPWv: 'g',cITimeS: '1744200471',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/0721.93046?__cf_chl_f_tk=57mS_uC6bF4J_RMr0MeZK6g0Zl4KRoAuEGuTIMOb8hU-1744200471-1.0.1.1-9aY7omu0QG2_Pju27WMfErfKLnOSDELuYtYHlMhSrbw",md: "FX2Q1FG58yYhKifgbfgRUUIsMAP8UUIvD2C6B5D3nNI-1744200471-1.2.1.1-.07VjPgUXCyXSjmve8q7gGKCGEvBLoSwWbgewGy_zqxp6bWfGB2Xl1tCzFsK7NA6THypfjDLzNWhfiANTqXsVuoHxu1CiB4ve7yxnWvQtcHfIkkxgwM6Y_owDtXHSWFmNZZYMEpkGbsOf4xm5HkxPqBsALgjIzsiyKSc2X.9UkLUdRd9G7SsuMhm3rSo1KDKDAu_u8OYM_4BlFnO9sUz9CJB6U9jSDoBspsBw82uafo8c6wrBQKrzow_5VrL8iZfTjeAxOb32D088bI0QwdA9EpLLsElQZE_8Yh_OTTYh4f4TsIDB3wBt7g9ZuW_zhmYelMoR.gO.luanQpK4D5_ZXDsTZwQfpZt81hG7HRKH2hnABSo1TXVhQKLAXmzsDZ2MLezoBjgEspYQ5N4rBHl9hpu5vruCZXuOrq6svoSKHMSXlR2EwzxcLJ0OmB54ZFvP.diARyR3DDxodGtraLYMCOck5sOezj5G.ZIpBdR6Cw8dEiDwaleyWkLouTSy6CEOd8MCUpkB3ce0Pohy32NaW_18tDH7GT0_VZwG0EiZLWdUbpPvDh6ZBbZ7FXym_VetlHJVthzzlYdKvDUt6ly3jUfqP2m94b6CqNi.a4bTJrGZEmcy1tBY5e1kUS3ATjrZC70AJwdbuyuUiZ6tWop1T43DDW1iRdU2rvhKlzXTHa0__q0phPFPxrVs6PnDK9F2LLOMdc.zWO7hHW_9jJaWhT_vZLQgCyZ_8ZbhgPRhXkDJUXIymTPuRCTQVrLNfu73phwkFzqv35.vJMOm7iwwqc6oMfDQqzaTBN..UCsXseXpbR3vdVfBqZ0eX519.TxbqnUuc5zqOxVvmMWRlpProIzHYt2_w4evYPOiaPo7_AFVvC6zS.WPRZAJyefX.I9aU45azT4OqUiFiPzWIVxyuI7X1klpWl4PNt.M7LxdRjfpOAjl__GOIxBoKM120IfYs5_TbKomBjddmjXcCJS74.y3GJ3SJpkMo95oGurIRQX7ZhLA8NL8Wn5v75oB4lLqEIJnHFCY7Lo8tmv6g8dLyhdRb6aVeZHWsD.4Z_l_Y25LDkytTSRQBPTKtts9zaT6x9rqakIyefCIwOSbbADBMlQLwnBU5Z763.ltdmCLsZBp1MeC1b6oY5WHNhGZ_lRNds0ZkcUV4QZ97RuGEhFi0rXFRGtPIcmwHEM_JYd4Jl08yeIVbV9WCQwv1.O2L1r",mdrd: "VY2rbNVJwATW7AVYGqWCjWto8WJQdzKIV8PF7xff0H0-1744200471-1.2.1.1-3OMnaBQsyZjppr7Cd3ONiN9APIWKotpzngB9KjWXOYajD52uvUjTkApt4A2YWf6Csj3wn79k1FrALfRLyI.5ABOMFiQlJGNTGoGJ..J.CSq7A683oLTB9iS06jwAnQUk_rPkomzqW_AtaCbJx5x5rjiYI_QmvreNkAukgyGDxfVL3lCQYPExpsX0J3odF3AleefMi5kYzppsk1toQhcTfU6LkXCw3BNEql8w3coJX52XDYIzS_vYPM7u4mbHmdksg34tPb4mBQN.IVigIESxFLJUz1efjptAlkgPsDeLGhMqp.sJvbNklIxHgG74AhUKwCWGs0efyOGLubRIC7i9j7qQZHFN2UTLrVL28W1qGMIdj.oZUPP_O.Er1.WzP2q4stwt6uJTZ6qqK2u9UjccbWQ_cp6BcKWnHPPtLesUP5z1jjyldNsRKUpUAnEMzMjOFr6jh3fk1ci8vx4Npd2vXpQ2hmsdJJ1Vz30YpkJC2eRnydX1TKjf50A4FbsQ_qSIwt333NPbk82q8Xu9WGkkz9lsoEe2CfQIugojItgLKz6HQ70UJYOIZ7QJSi7o24nB2Y2kpWFpLl9MFrgchGKD5cYjocAibnJSyjKC2gpwEU.CZ5QKkDPHI60xXdamjt309HOvX3V0JstSydwg2b.LdlNdcpDHiGAWYbDLpb.EimFCwr_mdzWYk9MAr3A.E0looLfDvMKbGJ6SvHro90gdSwGboPr.UNKjWeLhOfLI0W94QrHV6Ml7Vh5.yqiWPdbW4bYQOYU_z6OPjA_y6D4JJUZkzjSLCotyEsopeQ6QjymXqNAY4pYuw2HLW3cKDmcGFWd2sHo47VJoLizNK5HsBilwATP4Cpov_FHwf4t8Y2GW5U.RLrF6rdvq.pOjwI0vqCYHz_iN7bnOXNLMYfZiudGQfX3eKl0Zyfk.X7dI9SjGQyIQPl8xHafPVNCvTf_lw.3xHcNqWPWE4Rv52myOJIpGJC3S.7svoBt_zWGJaLNf_H06tUvvrY7s7Bp2jb3k08tj1nUzyeBeTbRgr8f_WMPJWldGsE0.U0bU1SheqUl.Bxvjlw67siAUI3kHBGhY.TVKTQc54Hzg37jFGqVCtYrdqIgIil0MCj0vkh6w7toCXQvhwfKvPS1MTNvBx.mM.w7UjbM.br5JaEZxFRB6fy5sNhT6sbHcGWt8Gc3SjBpcBpEQ1r9atb.JypfOhBIruShYqKXf1fjybPW9BJXGPgWr6.hSxLavvOB7PXDJhRbvIlKfbCGn0aOJ4PpE3f2mA00y9t_iYzoGHB.DxrdeMcQO26y5bPyw_j_bYQstcod4HeakUNdQWoZk9OizllqPq2XFfrcqMjv5C6.AYQCfBRxtj7PDaKZFyMxcpBaNwePucNN.FRHwgDnzg2ZZt6CbW9GaONDvjg1LzKNMrpADgPQgvlEX7_ssY7eX.Vq_Uuoe_c_4g8aiHkNmW4xtkVcfbZUc.khvlBvsLC3Gm12bbl98v4p.89ZtnlfM9bNCbkJ7ftOMtg0_dHs8cV4sMF.4preoJS_CF57NLFvmbOMrz22o3yu7BaIasMvFI.Xuly9x77pFP.qPJj9uOBu1davcVyFFW1bXvcg69h51LpmmUAjNghjkISUwyCuEYdNZyDgOA207E_OtJQFNsu1vUhxjxfBsLmAs0dFaRyMMRetN5x_fHNJkPHpeFvAVdhASWyQMAoEKIXQO0ghMIxJysa49.i4fBp.zwazJZ80_o6AE.wZKNElXmGm.hLnUD8LNcdXP1Q0Lz9IpHtXT0GaaY34b3rSBrRPp7fn17SMLOCVmB1_8gQeIcyK4gYo6QNgpN6DiAGwauA3pO2a0Dk29BQiqzUtey0IndFJVmKTyWr6Glp.OU4Hn0edtqpyG2zNuxlTOLm7G.Bs28varDomtDBnmNrJ9uncQfzYyIEAxCJ.p4k5u6EhrLzYNluWwyeCtfnx2uHubqaijJd9ytsZE9upbhnF5JAaxjRMfWENvN19sg5c8gLSjVtVBBjgfSBeefCKC8HjFriJ4w6F_QfFBuyqk"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=92d9e2f4ebbeae45';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, "\/0721.93046?__cf_chl_rt_tk=57mS_uC6bF4J_RMr0MeZK6g0Zl4KRoAuEGuTIMOb8hU-1744200471-1.0.1.1-9aY7omu0QG2_Pju27WMfErfKLnOSDELuYtYHlMhSrbw" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>