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: '92e1a5c5d80b9cce',cH: 'Lp6.zUMGgHIicRwwwumF.bYIHm1.uWrA2m77z5FreZU-1744281851-1.2.1.1-Kh_SFuL7X8AZlzrJZu6JpP.yLBfJ_yO6ISM8bMyliVNkUVZ2c5L_5RderMYCOR.Q',cUPMDTk: "\/?q=rf%3A7363691&__cf_chl_tk=GSv1KBRn5kbOYjrMWFl.OioP0DgIuholnqdh1HRS33Y-1744281851-1.0.1.1-4zYgrXTD9sTdK1gIMvNbbQ1Eu5K1cb5_jlCXqYTeZII",cFPWv: 'b',cITimeS: '1744281851',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/?q=rf%3A7363691&__cf_chl_f_tk=GSv1KBRn5kbOYjrMWFl.OioP0DgIuholnqdh1HRS33Y-1744281851-1.0.1.1-4zYgrXTD9sTdK1gIMvNbbQ1Eu5K1cb5_jlCXqYTeZII",md: "QJzGbnl2AtCILctv.9eOktEWhnidefJ4CxD_ruJ9FdA-1744281851-1.2.1.1-k0TcSJc5zGbCmkEyeGB_7_eN1cKCcxY5lWoFelgJ3C4vvSz_x.8dw7VwYCRdpgLDVaXVss0dvIVLRD6R9fMhYsRmHwI14k8vBRV85.itOHU.9PYFpy4WsQF_cOPtzh383dw.NE8HAKIE2173GuXoJd.YAO7cUzPXZuQPTCCg0kNw.UyDnfAEm6GoFGTPypJ1J1lk6sZ6VZelr.AEHEq8BNB3CV0pyxvR0auwUblQLoD5Hlc8ZP8VW5OufWlJqzX9OvxOIA.T8Ynlen9GZRbmdicbO5L6y7PPUB1CYk8v3fOJ8lOLUMjdL5lX_LwLM3USNF.FPc_hT3UKyuMKYT4S01d97s99XdvWyjjoc_Hc0kAJueFjTtjtUCXixa3HsMnjGDkGag6au4xQuJ_5yj3p3klXCGsoTNPoo4TRwBuxQBxZWadS0fN97yySmE0Z25daUd9G0mBj7MypgThweHbjXKeJrFP02HybaSi2zf72kzpim6Hp7t1Kkf6vqpbw2lb7xlL4HQfjUfMlOxvgr_ubfOP6dis0C1VD6S7s.LGXItMiWW91Qhv2Ggxb.ek.dMAVoZofD_sJ4AkIl.2Fswdb1hioKNFeVp8jhRXyYlPzAtyH2q4UOSTlyxu9N.3qlCM.nRZyIcLZvUtqDPXofi8S9T1xXkGNPt21yzqakzU1z6NvSqAam38UZ6REQmJ79Eh6.yELYG0.qPGo0_wPvrz2paGdOwAZkDjP8Fp70xnjKEsclnXbEcHXnDtXhciqMqFQE0kuUzN6V1iSbTp.QeVKvSIQ5hLIPqDwWBoW4F4YT2BWGWIxOc_y3yJnjVAUGLSRVVDys9LC6CCEmokqnQIZkZegt9mon.fFXFxNyPSgns1I0GBmggMA741Jj81R5nJpbn8uSAT7r8REsP9EFB.KDcwlvYWpMB1AA9lmEHrUyycMwl3WDXmQpLjEnOazIjBnjthq4w0S4cUt2h0jnSNec.8Kos6VxEeJ5vogp1HirWcwdYfbfTpU3fQX7T8OwJo1dwgyU1L5SAuFs2VV.JXFAKahgh0RlMc70O5saCPZ_J2DUNSJP7c78MYiMwJ2UHb7f8zaFs5SXCoBib.yulXHmNT8pnwEQahWNesMUPzMiH_m6x2gfks2erDxQPWcl9J.3Hr5rzUtEqPV0yFVMPuJEmWI_InU55chndo42zoMusNCCgt_dpO9bVR3t1zc7pUN",mdrd: "xEwMjg336bdu1lq_W04MFItYB8awTiuo2d24XCyueBA-1744281851-1.2.1.1-SQKGscLZKxOe6gT69YHvtuageTQ7bYFVeeuLph5EWJ3fYYW_U3YWS.iLmNcn62zZ0DwPFFoV_uIxGlMFICx65ffhqx609w6b070XC53P2lKghM.CiJMiTct3c9qP5ciI2GbftmQf4FskURI4dtTxk_XAon8WZB8EJMiVF7FaWiNRixbbUbwAKqioYHWTTooz_00b1vjONwrrGOsWdcsOgh3uxMQqSS8L4bz0CmkM8vZ4v1pTDsQtZIHFA7Hm9m4qkK5E3jK7iSb5LoURS8XHkDXmx7A_mXkbEvtFpTQtQ5x6go6C5qLg7BsUVuVAQkioPYGTmDawQnDaUgTT2eJMYUj4IskkwIX0YZa047SWE9a_royWj2K7wucCAeoxMV0we0ZOCvY1AFJQeYj4SGWwfgRa0RkURsK_jzLyptFzst2NTMjZpTWX6IXkhEFd9L1QLYHh5PX6KDRa5wCXqDxu3wqx7pa7NhNBxa7jY6kWBx22m7p6YEUyDpl7eKxRkCT2drkfjM1ZbW0Fy0Lr5cC1gftk2oBuotlft.w.Jl42p2s1rg.eHDXX5LdsRqPbEUJ.KfOtRzavlWfLNtCX4agXnrVYVpHvDNqGgtKOgaxiVuRL.kTuEI54vAGM9OgSFq2cHgyVjpowdlDrAs.kok3FoozomL..QMklfPqQv6Pf2mPrDuDgM_kgxgrmz9QzcTZVuTcVu580PdQB8ICxsuX1y3Im7yC7zVi.TOs201lCo5iU1VxAnhMQsmjNJ7xNdd47PYmRvjYy_4WL1tsH_TcyNkcnYi.6DsJxZfO2MOjB4w338f23YjqUT0DmBQGJoPDV0n.qKv_9l5qUZBW4fKJY5wgjd9gYQ2eD.VBcPMTTcRgHvUvrTv5193.0UYQEpZRP_BhHz.YRii4LnCrku.G_nn6IWpwXww8ZJVMxLeG9htdr_eX_QKuAe15xOcVIbqZYu2fzLhgmWqt2vet8q0EDn9Sh4KDhX9wNHJOTTDeKvOIXqE9juXTV6dQiRdojsb0zEYGIyXnNg22neLlueBknCe5nmcPxGINz14VQmsk8Ybw5pA3F7FLm615bIicrAjrJ4u08XoSOvxR1TreNhZjPi2ID0FQfvq4Gh7afUf6zvRYG8SnTCqWFo3nQHNZHKtaF.wQEixl0lZMTlSUqQB_4L028BEJYmh4riYaDhyobS1KsJ6QhftSYKxDdv5q6tCEDa8beK0UIxpTmhFM66Onb9ELeDL1ZjmU3J2UBkZHYKRzP2AFsr7ssII.YbjiSSr331OCl6N8QaQOfSUOR26YifkQbm0QrOWLP9sAGiGW2HQ1CEIq_MNvdjEZAhqxxbobFMd1YFoOrBIvNf6YDUOSL_Q7IZaFmDum1q76r.gLkzLglYsav1tR49IHJ6RvkbmhTfiRsNkRrggAbyULjXXvYCr_oQB2i9xWbtqlQcUdMW1tvj1RRHrEZRjiZ_cHOFh0Gp3dfoS0_UTysHQPnSiLX_ZRpb6vr.M9so2fw.0bS_DqC2YysvUrbU3Wljft2ZtBgGoIxM.v.hI5S_WMsXCmxU6Y.lMfgB9GRKcqWtC.n6yIMFGvvlNQQmIUuuEkJ1MoWWRAAUUps2f57N5pst0KqJnG3Up_zk9ZTkbKDqRNfdKwLRYsoxgXg9tTfPN4OZ2FbonkgzgdwzG2oHwTQVwvYVMp6tbWthum3SEGr_cHebKTfBYaVdzy0ymZ5SmRft0d3q7ACTO_8PKbvqDhsLP_qBWVuaheb49nOA9tJ6L7qyJeq23RSrMcuSjc1H4cqXbc0JYNwLBROok4yvl3TbNRZzjhZ5hppn6RZrrre_bWli4Y6ACtN3QTV81o6LL1Wr.mGkdxnW4IUftQYOwmaEYqB6QOuPKfcP6J2lPC1WE67iPULfGqRH6_1XKh2VHPbXLJpg0FTOr5alqgc3pzRH.iLfA.HyNKeOSk6W39ug25df.fxKNf1nMG1Pwbl7s2I5frTfuCsCnX3l6wJ3kqFJHFmyZz5nam0Hn2ngbLXOn8e4gr0si65Dwo2YCThk9jcycL6XudAhzYOhMWOVudLNCWKZg"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=92e1a5c5d80b9cce';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, "\/?q=rf%3A7363691&__cf_chl_rt_tk=GSv1KBRn5kbOYjrMWFl.OioP0DgIuholnqdh1HRS33Y-1744281851-1.0.1.1-4zYgrXTD9sTdK1gIMvNbbQ1Eu5K1cb5_jlCXqYTeZII" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>