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: '92d3f44a7bd8ce71',cH: '82lXtS0ocNdaSCLH6n0WPG5TqDcG65IO0iIkpyzblOA-1744138267-1.2.1.1-rKxBqwElcI0m3vEhjCulxjfgLztE1xZnmoFmbIRRkqR47ICA7rYxywPAx5NAf4HN',cUPMDTk: "\/1133.93351?__cf_chl_tk=wmjK5x82yMlUnL1rm470_IpzHVzwzJ9Qs55jytiIhs0-1744138267-1.0.1.1-8Mq8er2nT4ckNHmtt2LO7Sa9rwpHgqbyRS59gF1wfmE",cFPWv: 'g',cITimeS: '1744138267',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/1133.93351?__cf_chl_f_tk=wmjK5x82yMlUnL1rm470_IpzHVzwzJ9Qs55jytiIhs0-1744138267-1.0.1.1-8Mq8er2nT4ckNHmtt2LO7Sa9rwpHgqbyRS59gF1wfmE",md: "D.Vj_QauRKTcvhXFIB4heKTmLHOpdKmXM1OmwKObwDs-1744138267-1.2.1.1-lvbe3HExqljQYLYa7s3vazZh1pbnw618Y.JIH3VzrPlnaAI1uHvTSUUgAOHSxv_uz_0rX3MfLtHqpfqo9jydiL6c6.N9_XUiNapmlODqqk.KwElkro_OIGmzegrnfTJ7yBM6U2xNuM0n2dCz5WWqDlpCBaJXtgUuuAO5HbarvxU3IlaFS5R8dYcMdjqpMSEZWzpzRKd6zZ2oDD1SCVOnOUHMf5wT3QtIHkwLnbpNhfIipAuITHHvnHaWMfpsF5NKYlR9luc.5ihZZ1TL9j34nZ2.ySYcZ4dG1Qsfp.EjYT8tRFV0i0tD9K7rfUb72tTBhGmDiHE.ajVDhK.PkTNejNCR5dFo2XyFIa4uuZhKipiocCudx4wSVGCra_4wGdK6Iv9Y7zopbtYoCLvc2AeonF7cKVOg2dS5zJUoM_V9WecrCns8rQw4S4nA64JUKwH8KV.ofrmQmXdXADFp_jcvIhMtcmut6zzll4qB5oI6HftpKZQksxyEttF0jbxBFhKhMRMNNmX1FKKEH9FFXgQfIahCsKvQKPsby_LvdxqBBtkZpaCU4kJNBIAaoUG9CACp0znoiakX_ack2mtE5Mc3TRdCNC1rN8SKLA4LIyHpZJQpfUQDrYrlaCUOhNxnm_oAq9rdsqWEu6V8zLpy1cLbXtTAjO36q_beWhhrKVWxdQsrRwVGqpirKZQVVFGxwCuZr5RJYZD4U9oR3gV_mGyf2DB5.5zq9vbx.Kbda2aTO8mZyvHp5mYZvB1TY2vlUiPUEF.o2TOXHSdUn80I9zp76wR6DSz0exyngMlXpFRjXcZgDyJ5h5S2A591m_QCSZ0sjxaXeftj7ubBCxtbHWte5WSG5DQ_93fsmhVj4pMF4xPE8SigvDWvycDE64sC5mcw_AdWA6PtMalnTEKrRzyVlNMQuLpBpwnCGw8RUxYONdxHFAhnzVtZ2e0yPw3jWVhEkyTHybkJunGC2xsO5VfpW1_cHdG5GmC_VnNaZcR2iDY4ENDbOOI8UqQS68j_hzJPTUyQFSBHCkNz6KLy3SbnZ7gtdg5utlNhpSoNosGNJv7tj2gYOAzz8lndKIhyCWAe2hnzCEFhyLPosi0.7Dz0xDnIKJ.Ridls8iFz062O.W7..si9H3jBsRHa6yFEvqHO3Wn2wHpM.dGbVplxV_g2v3WrlyjCFzmRcAW1fWjh4RNE9jMC56iiZUYi4TK1ScgP",mdrd: "LhIAkXT1vBSo0SAW4ye.utgTTPHG.cdhT1dQHwnqrWE-1744138267-1.2.1.1-.uk60FrWxJ5gniIN3tGwkpg58vx5Bg5pqhAsbGvpbgEps8lrlpDRD3PCA3b2uWtrrn9LvZQebUkHZu65x7AFI06VAu7AYcBWw6ZNJPpa_7MxAzo_LbIbYYRrlakbD1qrAHcDUbVckE7tHSHqx7kMSvvlLv1m9WvmYXiXEL6uJszX0_GGtIRUUMDFRH1JYczF.I7ehtVcQSRzAPr9a8U6dL.T0rz3NNJ9f2XIaSagmiDoiGFcFfeehkmRoICQZ2..SaDDMV_e2LvDZmzG1_igedCva1XyZrDGu_kt8wXvZezHoGL51tIMbKVDmOrn_.dHirKI.a10keQ6l60MEgajv0671k1clAT80m2CKwneeI_MWLdAAlmEqEOs2HLEpXS3s.fXuA28j28DtiJLzkHU5PA5RUZ7I1n6NqCxE6ka1U8_orG4bzACXgH0CqTM8U2GVpkw45IogXozTYoQLm1qWFCBFt_y1CvX297lT0Dx6H7kENd4a79CPaj1zM7n0tMHD_mYpj12sxL1dWdtxMWzMSPGWuv8WPMZ2Mkn.BKZyWddR93eWZ8cXo36LduKn5aLK7EgScu1ietirLHGSPFGeAqQpE.oTm9U6h4WE8m_AOjgXKfaZPBevfunNizGCAdOQU.TpFp1rrIjubBy3y8eUYCugYdrs.0m1svv0zoolQ6M6evNZFXHDkULRjfMKiCUDXVjzFhVMV3B4j.vEimVCKgKDumfWgbCLsjJvlRSyf1k1zIitfi1xalErnGhhdB7BdhaW4CToMBNP73gluL6BHnwxnH_fluIvkSmDo4PulAJUVRN7yxtvTrrmwffK8ZlvbYC8EpGqS1y0KU_Dgoj0Vk2Wzo2aA0D0CM4qbbhqgttfvoWedqfqxsI6EDj6nWRb1cptoGj6oCVT.SzbhepDeH65PoTwFGQ.TFfQASUUU4M.pxdksvXZr7ZgCphCv59LtbDghLZJa_vKftqhI0agEXqFTeWKOsH3pJjqP6dyFiQrX8g5t2VXQAvDq1wGdmPoIm4kkDI1AMQ1dpv0_.ZytDKM1TWRhKEnoWeUrh4_5MLlKdMRtSgeBoaV1VtVxsn5_tkdt3uUnTs6D9HYWE51XbxeEI4SEsN1jNuVakXSdzn6YFWVphMg1qQxihtSJJuhKWGpBXfGPlcywhpj4AlFHxxj.6zAbzsbUR8_sWRDY19JhejrjH5VMzciLb5Mlpi9ZIbvOJn3lDWKtlvDRqjwOVXfYi_bJxpH_pVv12xc9dkmBFdKiECXOzYBb73FUG6YJh8MP5C11lYFGlRALAzWs4dc5RmTltPIfN8uKc9IVyJA5h7O4dv6_JBNtPXaDpeUmbI4P2_daezgCNt4x0ADthBexK8qPQ6C5nmLwBd0nNhXzZx64g8vIpfoDoKTEyDmp1no4q3W1evbCfrKShczFVx.UwPdmyRA2vXVcBXxRaI.Y2qrZjVt1Sn_mElbWYd5loDQXkDagCncglY_zYQ20.Wct1JQIIrmEVbRZi7efHVHRvP9EIXP0t33jkuhUR1x4yc5nCMFAXNajph5LzOQSjl4wLVWOKfgzxDHoONE3B_jtB47t00QSsFtQMdqJuW498758PziMYghhZtvd16jgb0jF_6H.IZO7Ro5X0FXSWAqw037dqSuxxuefmdY1ZEJwt.5j6iOcoqUPg26N9m6HDSBWraBn.0t1B_ghc7Y3QgXeqrN0v8IZUF1NlSrEtEhDaYcC07Gtmjd5exYBrAIe4sJjw1y81fSerSSURINAsgEkocy3Zger2nS2.AorHt5tmocGGoBBrCaQef1_GPWKYz6iIYTCYGyrkb5SYlOtkK9ysla2oHDfLlpNksu5ee.GBXiEngTqfbkq2gN78OG400Cm.R5hDw_X1NYWF.qtPbv9ljY7HfXj5adcJlGLe45TSB2CR2QToARZW3KGEUuHI7WosiAxq_cqfoflx7XaNR.h9sBTD4JJftsgn5MezhMyJUqrPieYcKN8viehssETnbmIrCUIhegOxts8x4WBOTol129UaZL.TLbpQJEy2R"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=92d3f44a7bd8ce71';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, "\/1133.93351?__cf_chl_rt_tk=wmjK5x82yMlUnL1rm470_IpzHVzwzJ9Qs55jytiIhs0-1744138267-1.0.1.1-8Mq8er2nT4ckNHmtt2LO7Sa9rwpHgqbyRS59gF1wfmE" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>