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: '92ed7555783081f5',cH: 'IoIroFJNy1hcnDwifx4OvGeqUMvH7aX0j7.2.7DZgLc-1744405696-1.2.1.1-6tsbQvAYwbnB_uH4lMoVxX0BFyu3kIb6BogO9UKoNW7l9kmC9SO9Zhpglk3SZiOG',cUPMDTk: "\/?q=rf%3A5931184&__cf_chl_tk=7aMzuPhsjNw7cDea4IMbsya8QpGpv_ie8FRVrB0IpJE-1744405696-1.0.1.1-q.hYFvR9sEM6yeS0lCRqvLT.EB.gRSFH_thfN9HVf.s",cFPWv: 'b',cITimeS: '1744405696',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/?q=rf%3A5931184&__cf_chl_f_tk=7aMzuPhsjNw7cDea4IMbsya8QpGpv_ie8FRVrB0IpJE-1744405696-1.0.1.1-q.hYFvR9sEM6yeS0lCRqvLT.EB.gRSFH_thfN9HVf.s",md: "INtemm0GsF9XZmYDj00kDAD_pcFckned8bFoNu.oaqE-1744405696-1.2.1.1-vp_.o571xMm3VED9rD75jevVOw0c8cn7mKIyLjE5qewRUWjd6IcfJM3t.UeKvavDhdj0uzZ9pZUQPJugfdlw7qH14mg4yBHbb0r6tnfKbP9L1Qrgo20Ab5893emEXPjX4whbgArBhRG4Ac2m8iVltjNRNVzvTbqbxPp1bDBPE5JQaQPXw_EebP8LzXjs6X4SekWT8_ScosMtwgUirFATt.pnZZYhKXj0YF4a_GkkxT1a.4bGGsn2ZVZwrB.wXsL5T.lgncr7xO1VLu_bDbzsfLCPTEWk58NmuGKPH8_S59uMN_Wbw3USdcFvepk070oRejDUFSajiap1ZXTH9.0f0oIKXkjl3o_eRaP4NLlnJgN7l2o0fV_RyEwjNmCZZUPAB2AuoGkrQY86HULzH8dQ0Uy8iOBQeWto4_SIjlYXkfAB.LfLToUV59gJ7jF3CX2q71SjPJ60bawHis7lpBQiWTX0SjcQ4Vzff92WuRd7lySsPPtuE26X_iSbxYiECrOMJaE577ZQQCsCvedGvm6GCYMcHmvHzYgJto3FamIM6vjbYfKeuTPWK15VgOlz.RuqCVhZk8v9YW8edT2mcypUaO_FVez88lvxW4hOAI6V9vLV_jLWaA6Twl9ug3A3nQTDleNzYW774ULgfsPSLJZvlOlTF7DZoFCK7QXIacUZyCCFsOMoyUA3lucarwd3tTBnJSnytfib4sTnjrvnmQldFOKjTtrwNGcxjRepkPokQxnrM3x5CIRrBWUdUFxDFPkN2owFWK1CbRcQ4Gqe2IrVGT3x69Z1wjf5VKJXYjpqH7LMxnZpdgsPTgISDX1rFwdd.VfGWS8IFBLXMWaoYg5ilPf6Jvw04qg0X9BpOiiYJxT_MgMtIokucdwp0rZhRPbEFB2A_vL9xq5h8Iy06YM_PvOo1tCFQ8e6VRX8ncv4w8BGVaBVwMoBEaSbsC8fzQoRAIyxlcpAoxbzBCGZo1S5K02viJdFlmEEpknQZuYzBzX9IrxMVdl3sYs0WPgk.ptK9Pnk4DB1weHHk1w9vwmBBck.WkGeikwXdG_7d20.gVKQ4tu91RLaKpyaTk2Nuy3cXNw8Ghis.JzEltHcooOeF9bDh7iuQJLLs.cuQ.Dd8TRhjq5rXArx26rDI25.g7Z_vreCfzi8aP0iwlyrmKlkzAmFYBTTtVDxU7jFcpgaPlZrRGFJJlueYBH5RM8jlZ6I",mdrd: "R.PIKYPDNiFlly_C_l4Km9XCKCTwODLV62lSsKTEHR4-1744405696-1.2.1.1-_oxhamimI_.s9a10enBBY.jdlSXe09OxghNiQZ6v8BdF_q1DgDgRr91ncUBZhydktxS9h8eUhG2pj8hs6514f_EdGz4XduF1hfPqkHMzL11jKU0YnpBBjJg3J8REoVx13PdGoNQt0ml9J82jhJowtxzxVV0VOxuDfDdCz2EEvsYkyyuvD19pp9Fnj36i0O73ynCo2kDijhBU.T90W5CgU1VI9UzOGNKyrJEvq.ZYBmGn1b7opP_RkQso5fKm.kAWzJcu0GjjiUzFxavixKoWRKzarCz786fPkl6N0Fz4tifhEI7vYe8EoX_RBIh_JS9Md7Q5ZhUSfK1jqsOj8E1X7d.EU_R6NdaOMgGM.Gls2Aok8iHEHP3h4GKElAmrjjjdxpw3Q8u0x72H34LKwo8dbh.Y.4tA0ltIsHcG88te3gStEmGEDokzXLuytOdkZiBoIjCoREHQHx0lI7aoK_nCol1orWYS7ITwoq5zvNg0u3xGQMA1hp2kIOqcEVjhdnhPvMdSVXyLpyfh899rJEzZhaSlclA3cgefco1dR_2c.9_n3HjegapLl8kRDTMwXo3YEarCf.mF9xcjwr4rGORVCXEiVlDTH16BmEXQhmUtLPnjsirWcJD1uXKSDB3rn3.nS8aN5pJmBByGkGECPi.15H3EAGLydsEu1t1BORJ2viB9qWrU7_Ver.AaCp1T70pVJlyusJnbNQ2wCVUF_5l21B_UxodXZiMkePs2YGU2RU11ecXShlqn8_riIasKzuX3wtAT4G5IB3Rm1mrAgK46.B6oyNJ6Xx523rnVYbWrPnYChHWfGK67Kb1O1boutybxw_AWI0JcKM..ETQwn0PrW.3hQXJqdkx9ZaX7VUUDciwwE5NlxyWaAYoBUFALPqNn5bIcyxPtw0h4geRha1YbsNuSms35KYulKkEslXzzW0hgJ9aRMRgqQFHr4vDgkbSDvzNqESKGowumgikB5C9FKmiKZ.clfqnjeOvhRx_lBXzwHraTZNlD13tSC31HnYagtXS_iZ8IT.FZV5uy09sZmGYekCrb5DxAV0_W_YI0Ut0j1qp6XG.shbQtPWfiPEu5cVp06J8Vj_DfRVlyNWwn.95IcpEiB1rp3mncCu5ydxJr3jaJrNYucTV5k7ZhscZsNrQ3l0EKCkUMFjt8QQ9EVrc6bce202LC2HXWYc2ZYdlRQIblpLE5Zz0_kwI5OdEOINuSq_N6vCDKCoKoYNZWtrdgJVLFrL4xbhwA2BJobdY5jgqqAVSnwjvl209npXKUvxO5rVlNAiAAQ5dPGZLA_q7gs6zpB3yMNmdNXez3lsu31aSEmhNgTafYIRJlYqKU.K11PNRZjDN0dVdA2FCJjRoOE12xZJcCTUynHqjK8nT4oOdRB7BZ6PaOcycb2TZs.nSWLmwVMbU8_J6V.JdSluT8xSGsGUmlq4wxiRl8xJ5WGnoJR3J3dPv96osFmZ9sWNq4gY1IIPnYH8GzqxovZlWuQz7UFDk2i8Y8OXgEU.NXPeck8rKCuI09e9fCdsWrBtiyG9ZOCDpRaZryrlLs6ZVGfEKAPFiNhRU_XiSw4uRbVUZn2YaiFDQm57T70GBmJlOA9lVSeQbSd4uTVKlKAbXjoYHH5Pu2tuhqUfjeSID0Y_DhS2RiquUO0wTiSTJGtBtqHYGcC0sTFGsuwp8yhEY8V2sMK0yoAllOSqCcN6OLUilmIgVIsE7fCLFVss7GSKkda9wq07qPXcqS6P7uowgQBtMqVJ.nY3W29xbaz4qM379uTl54w0ITFkR0M96NGw6MPq8gWu8ve2HtfdKpPGktpqIOQhrki4KJJCJT28OilStdGJKmT1HmYvzRLw2P__HHbXGwYDoRGfTk4Wx1TM5AqEovZ4Z20RyYYKt6L9yx_fBVRLBjLAlvLU6nBidb8zGD_lCzqQar.noKT3mN.De1QXxPqC8wihEBpl5BF6htBJg5EWw8vTC7_U_Vzx890iZ1ijdggw964GBMy3Nolz9MbzVwSH9RHvllCUyIv4I8CeRw47Y07MX.M3gppwPh"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=92ed7555783081f5';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%3A5931184&__cf_chl_rt_tk=7aMzuPhsjNw7cDea4IMbsya8QpGpv_ie8FRVrB0IpJE-1744405696-1.0.1.1-q.hYFvR9sEM6yeS0lCRqvLT.EB.gRSFH_thfN9HVf.s" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>