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: '92d3e67b3b2189b6',cH: 'The7qC2loyItWgqHeFIG70TogHZxSVdNJE26HrtzJA4-1744137701-1.2.1.1-AUiEpV0AG5XCXsyXPrKeMneSgkbB.TBB1z9PD.jROc9V4G0qjVgFAM0kH2YJ67wh',cUPMDTk: "\/1533.35171?__cf_chl_tk=gXKBw6HUaonBgVLeHltXFaOXpGJgkgxCTi_pmAl9LG0-1744137701-1.0.1.1-m6LSXONHIbq2M2g_.PuGtykkk5OZHD..fouGsL4X40k",cFPWv: 'g',cITimeS: '1744137701',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/1533.35171?__cf_chl_f_tk=gXKBw6HUaonBgVLeHltXFaOXpGJgkgxCTi_pmAl9LG0-1744137701-1.0.1.1-m6LSXONHIbq2M2g_.PuGtykkk5OZHD..fouGsL4X40k",md: "bAXHABhU7Ne1fUNClqoFeBxO.2R6z7U4u2WeeECEvgA-1744137701-1.2.1.1-tqI8tOKDrbDuPhbKVn0pirY4aC8LhoeiTeVhFMFKFVjL2nKMzJ9o3QuEXY_4V9hWbxbBDxY5Z.OdWs47CwaU5srU0a7F7ETRAsoAOALiaXri4te.y8KK4xQ.QRjsIgXl0TSbmatxEXB6wJZLGRlIbFNNgCiKVDZ1cgkKXqPTFwGA6PvhHd5_gHlZPgu9wICYEyWU1C.8KuTmpKYhxm5Q5PYtMySf8nRhda0u0vYfqQEWTu0JqKrgBW_PbYftNgz.7ucXyKMcdrtYe8el1wtlBQ2M2GZpk01NRen6gFM.ost5tWejVckCRHTXKuYeUu._joq6YI6wT93mYfM_RNQjnoSTnLbMgbwI58Y33JZzoBZhtF4x8bHEdEx01shIpyhR.0g3HrPDVgeKXvFQbmykZOrxmA_YY.3OrDMmGQVGt4TfmDTL_SUC8dgtTgJZWOA3uleJ4cbh3a4ffrOMXGPBuCi4aBG_HCSbgF4qoMHoEacgFZ4PfKLIwSpd6mBWLvKn_dPkZqrKSk5YxJ4xvvmQTO7ofQFeukFf9PpoQH6FpUlMr0bBUsICmQyzjkwf7GuT4gtwJ_8WxG9EOFXwWRklpUtYrfFUelQhtLyA0ziCi2boRmvnri1mDz.SjDjaZ7wEL5Tgpu0aR8Qn_bA60yACjKBBtl5AYj559SwCjnOzseVpk9asYzg9iBQz3.iYmi0UVshcFgITMO3PwVigVPVNOLjGK.GOpzJ8m3P5WbA_pphk9ZNxhpGkOw2HJB0ifZcUx8229SsXgHSLDE5LfpEOb2zPXAXlCZK10qlHjIJT6aBZQR6Xs7_viYVL8aE07RvsELEaTsa.E9suBzAtmXaQLsxeSM_TNAgzGkFZmIlrLw89C_TK1jC53exSqd37vZzxSdeAMGwI.A8IKpKYEEdC5YO4C68piG65nQH5jTipvudOPk95hgtX1Zvq65yoPmdx.BjbdTD4Y3cBEM9A7vZeEEFcJ.h3y0ErL1rw8K7gxMklh5WsfuHbTOurzz9eyj6jTKO36DBlLluF6KMRc03oiVeT11wTeOAcxFdIabCKTWcm4oi8CjyEkuyKoW304BvxRTdI8OMg0eLepe_sKhcRh3EDHJzUbO07_VXeJ2TZ6LT1cc0PZD.nKb7rcXTp8RXwYCPQod2B0A8sevMykI3rhKG3uTTWZQLKq64h2NRof2CST0tqrVIz2z2eDP17cUL0",mdrd: "O1It8GEjYd3lKxXeEOJLFaZDDyw6tROvpB_oZ6NoUFQ-1744137701-1.2.1.1-CK80glXoEg5eh4FwiwZVoz1H.SS3hLvg5bRF1I.fl1zPfqn_pkrO8Fe.qLzU_xi58Z7QPk17EJy3XRKorZm7T1eOlW0d6I1W3yjJ0wJS9E7tTBjfrM7EuDNUWRAxfZ51ExGoEpualk3bbIOV3c4skDYByyn2EURxKIwQpP_UMwEjeT.rSgVF0Xk2ek.IoiXUt6LOdwyzmWMWr4.3A.ZWVpwpvFX0UcOLlL_KQ.fqmqXb89l8cmGXU4W9HcgYhsjd_5GlMjEGXtQxEaXVQr03MOTfe2CYIkTG_.i2H02A9ZMSayP6WBYFrz2pNfb4Il5aou4VwMeOk1lrCFFwuccLFU_.esFlvQCB90qZhddAP24Ukzy.SfRdESiw.yQ29PfoiD.xt8qVeBpJ2o7bCMNm0JAy9YMqpHlVMKCj0qBruNMmm4YPSHSqESPJbBKzgNvooUp1SJMxLIfCcFxsPxSoNJm7VsOUnHR6Og_OOFo04mUdaztrhHksFnzApWIbCEjG4rD2Rm78VHYo_QFPP8NRcmVlWnQ6VTxGxXdMevwrE9ip7BG81DNuVoIas2kzsrXyF48KbgbQkEvBMU3Z6Mq9tZMvZkTXYU7dKl.ldCfBEL3ABl9Avp9G9BmZlGB6p_HelZssKMCHS6FwBixrXmFSn6VpYPUR6FY56Kiwyg0s75hVfEeMk6nAyAH6QIe1aJFqFHQQF0DEHoipRZd4SBMHGHfJ0MzgT.sW_aSxlVwKCoTaReIuDiW_JDAz__qVz0ndhgfd.vc3sU27dVzTI7ANp2j4T6ClSnik.w5fmvt0fC5vrcQBZL_naMWt1n7KAxPl1J0SA99KJe1NvmWlIyLh8vuX8dL9uG8qQM8NV0akIEtyXn86RxHtqPmvFgZw1PVyCbq8Zds3weIkilDw4advas9_aaBlojIXaiZNXX6RzZdTWXOde0tDEjaGy8K9B4qEjuuzTtH_b8q3zbWHBTMbnXCNnG7R6N3r97oYj3umtGzYMbK3fNIO_IPmca6By4.gCgTqB_4uyAjc7rMZnKsYCxlZ7sYX4UwQu24MDKKJATQtmdi78WykcbtueuuzIocNh8hFivrd.XrLdOIDi_Isb26ckQ7x8AvsZt0eD2MLd1DuR3QQeuCDEKbvL0CYSfnZtagNrlzQdsSvCragYryHn.l0bhLE1n5vh31Six.CObgj_9wR_aR92LHLRKkfUBEH9pDGuNHGTio84vvfqkWpZP7uc0aF5ZVjZTkk9xOOhGHFm2QgM9_Q6la_hEkqA8AOPHC5VAFgt0NaSmgML_Ko8D6bQ_3kNvFF6qU9WKCVGlbp9IHI1zl8.FQPS4B9w0zD1clY.RryuKQvRxaRGBkRRoGLNXKsISfM3XKPd4bzgXSd_ljYX3ecn8AunxjsVaV.AxuYu9mxehWgjg9gpZmNSM6LOJTYJz9kR6SMAoTRsVl0S_SEyJc27DixVdziqKTP97o8AzXRH7rlw_wl_JFi8ucRC.Lak.cEWnHbR3zPSbKQfsHk3U9GYTEThfYljRCtx9n4hpzqY2iT_eibNxoa_ZGrBXJxkK.ZzY6k9kLyYI6LaZ_ClmJtqojxI.pGTKggGxxzpgTHFB00lwrPNW7.QlpBBnhU.jtl62.GRFF7JAilyZQsojM.I6XVwtMEjL35XxNXmfQt_kSgmqQGQTrRz7mIpTBSW1y03wkG9seXXNdyWkF37zPMbKqE0sNvgvPuSnxk_1geihFqQVRMyhQUJPY.UBuOROMpS4XyvlWlIsJgZkqQjdiNp3fVS6vgOAzKYqROzHcl_9rmSqX6xiozaKB8_YeDFs9svFWma_4TsNfDzq6mzf3gwOPdxVulDjchuZDorxStzkjRILqZUGunVnazGkHt65NYt8PTW8nPnBpIyfapjWUqu.ujJ7.tf3oHcIKeVOzSgZABWS0dBi_h6tGsDy8j7PjJ0qWDl7PJPxq6wiyLQwE8mgHwWNpVimwSMerunz_lhqaaBBEBrytc0amapTt.8dNPnY2Ia61pUrZaK5HwMLSJWA.llW0jT5DkRDL8bTuz5hj6xnLi0SWFjg"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=92d3e67b3b2189b6';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, "\/1533.35171?__cf_chl_rt_tk=gXKBw6HUaonBgVLeHltXFaOXpGJgkgxCTi_pmAl9LG0-1744137701-1.0.1.1-m6LSXONHIbq2M2g_.PuGtykkk5OZHD..fouGsL4X40k" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>