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: '92d5a2f8ae5d9c39',cH: '2Pvy91InbG_mfpIvo2t.5PnM9f9r_zYNz8eYXhOmUj8-1744155907-1.2.1.1-M3eRjBT.n77Np91NbpoYvhUTjlgb.MTCxqV5XMpgBS0vlDZqpSq5foFEe2iVMOKS',cUPMDTk: "\/1524.90151?__cf_chl_tk=1vo8b4kwkZCPcOh_x4QdoF5V8OEumD9xwMOTXNtr8Vw-1744155907-1.0.1.1-EVWccy2nwwr1NYQb1z_f_05XYgVjwWab5rGhp3QufMU",cFPWv: 'g',cITimeS: '1744155907',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/1524.90151?__cf_chl_f_tk=1vo8b4kwkZCPcOh_x4QdoF5V8OEumD9xwMOTXNtr8Vw-1744155907-1.0.1.1-EVWccy2nwwr1NYQb1z_f_05XYgVjwWab5rGhp3QufMU",md: "lrdovOB6cCqlerRIOC8hxp98XUw4F37TcMPeqwjvoAI-1744155907-1.2.1.1-240rOELdPiu2hfDDg1pCD5PZYRNDnD6pm16NBHO8RYU5630jt6qEln73TDgLaOI3HVYRbI1hATnAYLKIQl.XdkUcVait58SPx7NGg4_jwsKgLLziVwjvy2amKlVekX9By43oVaSyJfZ0D_GylpeO10B7jIcWF55gZcW2RlFliG7uKzn1Uq9kQloA32q4P3iW9DJZ4XI7i.oOWsL._TMLD5MqiRHFiaHH05PqkwBQDEf8GJjUvjcJOET4qOV3FsbkXTXwiStiVFegWr0.2wyzjzksdB.VMH8JymxOnoAN8U16g5hh7jNH1R_w91m7IR6sldNKqLyxOB.6hy94PR3gQl0GPXrFUslOfbiQJ7noCgN0cL0qjp0rgCu6zlZnlEHpVO3u84DZUN.oZmF5pokqAPWT2zuv4.wICmHoIeQ99w6K8WCxAtOq3agU4.uRaA_di.s2KiRjWbmkisrYkYRHxETfsH7ccW3bJfC3RQqHBJ5qo1XOaxjxH8kD47.IphEcjcI1lYr8pVvVKHLcgATp1Ch2wcqO_Sfzw6eN.oGDjpSAkyuPWNnN4c9NnTXjzdtdGKOCJqTwt.n7i7mpNYEe66gusE2kcXV04g8uQuC.NDt6WLG4buPezMKMnEJRLzGvhc3OcmzjtqHTwrHuFDJ8co_QSduqmkpnKOFl5h_JTLTVKX3KHytEiTL9qJMFT8kjKd2YFxkOJz7VBipse558Xur.QSS9EHcmQaH94Js2ioxg5b.k5U9X_eGTda4dszlhbpXf_Q42gQO2oCss7BxNSaI0H5ufIpio9heanSS9CRnGoSKq5oAPfGSdqcbcYNu91oTCEar0MCrYCfD8dUjFlS1W69rDt0bQnwteJzMRdSAWhzxOeaM9Z5SNLPApKgs2NKSeepUIaDnT4B8UbAszbAj1IaY7GkO7H9qusu4PtQh0hsVOVRlRbfUvkLXWtUl0SeS4j5eTrkzWbJZEVUJJMKugpTbkVOFhkYn6wEYQortdN.rMTn.wV7X1NhqDc9OPH24I9jq11Mim.PVPwfWAF9Rc.V5tZBHns61nVlLG0cDHqsIbkCRQNxttPWHulPsBXw4eL9KNkSv0WIW71qxUaHu_fW2lbUeOqcOwQFuN5X4nXAw2VI1USdJbt04NhAi8H3oo16XDva7sHs4tlhi2bDrvGBImZHrsSSwjDsX3beq4jTzFxC8FIK0Hs85RtNTf",mdrd: "id9i6HHpF288djZHrVXI0HZe5qpftNIrUJCKRPq3bEg-1744155907-1.2.1.1-UnJe.9.3tUgRyup2sLkVveKvXJycYJKGel_VUei4fReqDwoh198SACymy68NQxbbfS38cDjyOhZxJb4OSwvhK4Rz4XZ4iMiIwMgytkyMXTvRpKLeppFGHh1aiBQlWvxcjTHHFDkpjJ0wMmxwfOCNHqi7wI83tQVfUXaqpUVfUFRrRbArBCJiLVKmsWrB0ssourN3sPfSoG4rdOgm1wPzZeIpMb5_A_8XRHx30t.Duv3ZqiDCUo5.72YOkieuAVIlBGC15uSl5jdSRbMDIkICs4umvHf5UHsuz5zfr.O._DtsyzTe3S1Th9LrHSJAVArejH504AdPCf0h22o49f.rKvl.TyPIlNTiLcLn3C0Dh1GHnJkcBhgQzzacLxldqFETUHdBK8Y1KFrYcPe5RTtpNMsr8T_G1Gt1uiWpX4gVIekCW82dmZkUP9LZtrI9fT2rTEp02l.D5xlCxNMshb3I9alhGW3pqd8mQAlj31YDXdfHXL699iMIpJOugQX4ENyhtYPkna39JKV9hzkKJ3Rkigw6ds80_FAt5aUAgLiZX1nxssUwLCLGZVeZ6ZGlRWnOlzsSSLwMBZTx7FwNpecrxxiIa7jqC9ZExtQsz1iws07XyDrLDcUhoi4PDcXbYIUJATpYLbEdr0THJLt6SZ3LocGJG.5A.D4yZ3r727KxGTvAHRAPrj1Ai_swrZ_c82CU9uoLkTTWPZGPo02PJP.hhj0.pNgkgee2K57tjZFpbua6Acv6_VB9hkGCI1GYbRDR1ryFNqMZung55iaJhBtXIaGF9jVqPuNylOGwvLAwl9AoVR6bbjwrsJprZOI1kNVC6vXWGocUbLKkuZTFj3jb1AFVtMsotpgmyL.gzwlbLLkxdUaaPudk83uRX0Lq_hRVjdijL56cysEnyZTbSIeoZFrFkTLRW4Kls0AgoG_tcNC5nL.8dFLisSt5S0rOxAP4jHC_IPLInLHbKHXozKUdCi3jPHTe4o1IGu4y0Le_sUkD0bthxsonelXHRfhlQCvS45KypOJzBcIhRwPvWw2ABDR2.FDPdRkmzwXUUf6burl7x8ICBzPCoWDlHahWZY3i2TY90m_p0C3..wZwqSNh7pP1vR4FmW.mhHuffrVI5Bl60JF9af1HzA_30y2ftp_L6dBgmOUvqjtLPv8j2jBJ_OWOpq.6bjpVNOavJB3zmEOzTCKMvlVOsW3GJ.IdePHdCk8BOYs6KYpYzCCuXXnXtxBm9hhZbmJ1igmvcWnJCysPqrJEXD1LY5CqqGu.PxYZ1ZToLTzEOp.TZZ12qZsqdEyFeRExcVORIMdpkU5_EV3Yb60K.nyFj3ImhJ09zyzIad75_GwJh6uMN8xclg7MrC1_YfkUjcJ_F6qCtCx5wSby0_7AT9iqhIMFNRDs5sJE4Hjcc2cIhemoSIMgqVvSrV0rhEtbONSksblTIZ5l6LvwogLWeiQkapYN4I_WvQu1NvmUa0obGRyWcNPANgIy94gqQAodRpctvHyrXTEdR5mbjRvmAdHV2izFo0I7hCldREY7zXui86h1GH40bAXMIxgLeKleC0swedlK19eZ_C.quRHrR3iR3Ubgz_mFFJZ8BZr3Y0lwglbq_5zjgchn0kXWlyIyynumEsb3yfSrHfwubFcQ.a2sfVBfbmsu9eW4UQYhtfk6wLDxNeJPjJuiIyjcwmczlpFoZMb_rz44hDAVQoKQhNVyOsq.gqbhUm4J5.M_EqNVeBxZtaMbMfEdLuYwVx5KyICZXgabdutek.iujFah1LGRebCakZaRZTssSiT19vIdQBdz2opNQaWYR5x6ZXgekVGivcPJ7L1C7De72Aiet18PDWUaxJiA1AvEH1swJGL1wPjA8Grvie.S.x_WfHXip4llxzmNZwm3JRE7NWTZbs2tTaNC8rZrrS9SpEVhVMMq9mVnkwRFPlXVPrehodXAx._fJ5oXV87YNHfcLIW.hjYCcBDxHduDejhALK4K41WHSoak.CTiEAaWh.hNkQRUuGSi4f717kWeN8YSzIBBDpkehokrMW_6acnc"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=92d5a2f8ae5d9c39';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, "\/1524.90151?__cf_chl_rt_tk=1vo8b4kwkZCPcOh_x4QdoF5V8OEumD9xwMOTXNtr8Vw-1744155907-1.0.1.1-EVWccy2nwwr1NYQb1z_f_05XYgVjwWab5rGhp3QufMU" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>