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: '92e7e5af1a484b98',cH: '.tKHSKi8vvLN9vCqMYGy6JInaU93MMAldFXU4WzABHk-1744347384-1.2.1.1-982_zRupDgjfpKs2ra7MIu1Qnw6DHZaIjHy9Fw6xh47338F7HMQECRss8UM35sU4',cUPMDTk: "\/1219.35246?__cf_chl_tk=x3Vp_pKl8QvIjimBBQF6e9fppI0XRe5ZAXobXiB0q_A-1744347384-1.0.1.1-sre1bbWmlZ2cDv.SUqOc8UbETEfiKvup8w1YNg.iBIo",cFPWv: 'b',cITimeS: '1744347384',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/1219.35246?__cf_chl_f_tk=x3Vp_pKl8QvIjimBBQF6e9fppI0XRe5ZAXobXiB0q_A-1744347384-1.0.1.1-sre1bbWmlZ2cDv.SUqOc8UbETEfiKvup8w1YNg.iBIo",md: "euy7_RvG22ryQSLPmzfNa3Rqym_e34NjSUOtkld.jbk-1744347384-1.2.1.1-KSIY4S7s3c8CI6MvodNdu2IIFraF65ftI_jJCFd3lFOWxlsywzMtlUqU.H_NHWUW0M.xJB5lvub0WU0zf5IF1miiQBPqGO8lWj9fm8I9eai5Qk2XlBF0ijeSHUeNOHyQf2IOw8iSyM4nnZYAVzjHbDlVp7F4xHrzGfpOphWBxhuEXbv2q149hfvXJXA6WMfc77mOaHeOtDeeel3hhtLRjvnDSAL48W4i.jv.mu3c9Oi9QyIkFcln.SUIcRoTfJQDeD1ZadvjeIrLVXck9Cxvj21u_mSYvzASgTRWVZhIApruo8bJ.1.b9vH1hvVQ124nn1pbRb6albaHNSW_XbimPdmEJQpcpXpVL3ahvs3eK6chL9gGivT5Gq9QAm26PqU_DIVxcP40RP9tlij5Hb2pxCQvOc.iYViqnvgJ24OT3CW1v_v3Lmn95sF.HCWTluEoTz8WSz.V0kSSbtGgVuKL1KvLrSEXpqFmKHTQ2AZpQal1Y.LwB9ZB4ilXPVX0b27DuRd0KyXk_mXQEFlxiZmDblC9Cc5YXW5zqIq15PosQWr2wiC4TIrYzWNpOCmjZPqe.yRzhlkUHi8j5xLans1nZdyDKhJlt1xAH6l97pFdhbxAxsW6kYg18VGv2RYz9pyAfJ3M45HvEQS_xSSK1IMX0v9dNlOHg8EUTVetnL9b4vAY5wr7aLkM.wfrDKko0HiurduQJLzFjosGxftcU1LsXJLGSG2.jcGY.j2ZJBw7ZY9T8cgBHkpgjKmXPE_Ms7fV4SXXVP4M9Us2AUE1I4T4fi5lUPc6YEUHrjZO45f8F4vXcnks4lNMbgsnSBDOa1lIAbpTBFzAo_PCVdWVl.lmmTEEnATAEgTEdCZH78ua3LJd7OZJ5NuRJxwDFIkWKq1IzQEg8oU61Ub0SXKx7.q6XvdXsdS.mDlgRYmp_R1YAkQCcS12Jcn2AWWA9MuRQ22lv164HvNPY.kPKTQ25pOmEJ9t7EI9Cwwx2P9KJ.YVW00em1TShDXivvGZg3nYJDOCEI1lb_il1z6IBBN2VJJzb1juOWmuW.wIQizz9SIcex0oUbetipYJTQgfb7oqsRUbKlROyAA3PE2Pdz6yBKmoJ14T_iqAcMvzlqB4iyd8J95fZwVY72hdSpQLPu_5Rtyp.mMqN8tFFEqsF5_hOk_GRaPar6WvT97PKxXOCdH3e30xRM3OthdH4g9mSy0VN5_l",mdrd: "Zwt1OcBH_5HUWLWTrLaSalF5DwRPtvf_BgQkanG.aYA-1744347384-1.2.1.1-L8qM7SktIaC098zBNQVHPsFL0LwVxmtCbHzjutYdR9W7bqnk33hidLeTpGjR4uwWHyDJtp.XEvVlRq07goX3KhcR5ko.tQxiW1hI4vL5IsVrO8F6mpAF1.oklYaXoGPk7Bq74jujEiK9PRTR.OA_oAhBCycwAAtJYIUfEH5p_NgL0ZJqSY81XTvQ6aybOevINsN2lrFyZbfmZchmuzVSFT46NWrvYIO7j7bUu2EHdBnPvz66rYqjvKGlORQI7KeZIhp3mq3ltuAN2XHy50VQXdaIuyhP5Z2MlAt4FHc8J4SfUO_dLwjQDbPCqZ_j0WNYLfhUFhAncTaL094pGFOiDVd0DIcWsfILIyV30aagJOrDW15tDLU3d1Vt7nbewxh4phAR2TLVY8quR0YQ6RSZdL5P1ihCNMCPaYFzii6RCAt9h6JDZKhHTw_LOjAvsZJ4we6Y8Vi_BgoMwyf5SBjca614yUw4gSAYizIitMqUcNovzwwzsg.r37Yw.NnqOZl5_YNbNb8waQObZXlrY48d455AoUOrDB5pm5hVcDztgy2IJ19DMhrX3ASZfWL33IuhSTTjCNC4.jyVhvPV4VO8iGa4g969Dc0IVlnmMkLTF9pVc6hUmvdJyzif2pC_yuKoJYtEyUHBi6F60azJ4h.CtsEyRK1g6U1iL8XbhP01H6qMvBBnhxi8TzpWfNkIldWXcKp1OcExXprBemyYzQwr.1hfJQlUTrSGaBRVpNa6nAAT__5sUgfUiVf0RQib1eTey1aMZeGezq5dzZaWr790Dy.k3FPK9slxbS37GvhoURFZQ8I8PMHf8Iu8teFrSVP_0Ff80At_D8RgYDc9bsXhIROxMwO_steQKFhnDvVFLvxSDXC7Z3o.fXEdiYJ1CySNBnP1tQBg9bjwuo7eixC6ipXIywHVuHfKNR.0IqFydasCWl39OshQukFN8CgQtQU6oM9sXBCwaqnJzficGGegNPbhJGWiqEjkg.rTNGup5VRF4p3wkK6Hjyr6GDx685VivWjpXSCZWFjzOBS4q8R18kQrHQr8wI5MigyOuj9IyU5QaO6f97S0anvRV8TheWyT5ms4cXMwDLLhUD3gMGi.Y_TFSOh_JoUMbz7Ln2f9IbYjzqIJYwvtD2cK2N99cGviImn1LmGTuzDTtyDJujnT5oteDs7Px.ZgCdXC0uooPGDfLuH8JbDWBl0THfb9Qa.ZC4koJcx90wURDEvN_1uII8ii7KeBbNfFyVH2JMzj0YTgv.8XAa54MUe9Uax8W6zLY.PthSzxGQ8ijvJNl1EC1VUTfHSws9uexJGQynIbAz5ZlfI1PvwWMp5cuyElCmbIkbhUsDTw2a6kAq.djtswe6H_20vQDO48OC1VLMDKSLAOHdjsoEzf6QfGuRGDBU6AGoqM4Eucdw6n29nTCZHYK1KTFZzQAzYMNYN4YTkmp29IP73f90CZtz0x3ykllQ.XhN6TCSUtByCjNHVdJ3nIuBmLt69scJts13iElPNGaq6GPnn0m4_wmE2Ph4HqSTs21bF.rGsRP4bZ.B1xzop0zvCz1YC9LmB9j.Mq7jVw6kwCh8pdqcDINHscUqmKYNA0FpMJ5byY1edV_mk1nQcltqdjymX1B_qoCvpN5pEp4j1u2I9vodUpj2A9k1HlpwadmRmDmHF2k5IeoWkAVjNFzfac1Kn1nDv3NTdtlN1tov8JBRQhb0NgLgtHEbBMDju6yfNAf05fC8D3qTNEZDbRTInqiqoTLAxclozo0Tuymt8gZ3QH.uqbiOeKmy.B8elo12WxHR..LPs3aZFV3wdCxje2.3T3HKSTWeC586kNEx_rP_oyRP4C9kJcbJr5RCTKKInJiSH7yX3uBRNwpeceHN23kbBQB0E1lHtyazwJVq0CEuw4DDGc58V3PF45UJuTh9o9hYnkihEif3NxREo4.7rAtd2.qu8nS1CjoCl.mFXzbIrWpFkEhiC53S9vceX1BXcCPGzDitYVUN11feZhTxH6nTRhREhSv3AarVT92ff_8Ih7gla6ikuv9CO4PCQ4"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=92e7e5af1a484b98';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, "\/1219.35246?__cf_chl_rt_tk=x3Vp_pKl8QvIjimBBQF6e9fppI0XRe5ZAXobXiB0q_A-1744347384-1.0.1.1-sre1bbWmlZ2cDv.SUqOc8UbETEfiKvup8w1YNg.iBIo" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>