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: '92eb2f2e29974e24',cH: 'Twf51Lqb.X1d36Td5wO5J.RJiHUhDdjV9C11Duix218-1744381851-1.2.1.1-WmAC88xS0ba8DnFMFBjuZBLmw3sgAOWbC5J7sSxzu1u_WnmHgAoKAPIvqlZxichn',cUPMDTk: "\/0080.00702?__cf_chl_tk=0sbflHuGHZsODJSIxDrXBAEE6smky79iMt0pg_UpmuM-1744381851-1.0.1.1-OW_O_AeVxRH1BfiuJ_m0kMyCB9izf0AJCri56VOeiDk",cFPWv: 'b',cITimeS: '1744381851',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/0080.00702?__cf_chl_f_tk=0sbflHuGHZsODJSIxDrXBAEE6smky79iMt0pg_UpmuM-1744381851-1.0.1.1-OW_O_AeVxRH1BfiuJ_m0kMyCB9izf0AJCri56VOeiDk",md: "QpcAWS4JZX_6tkyuqzKwW5NJhPovFz22xNSgNdWuBbc-1744381851-1.2.1.1-QQjM4j2RFO266SVpen3UetBpQumk5UZl0UnWTLw0Dq6iEg8qkwVgio.qWUiLAgIOqqoKFChTdhk4PfjJojSH2EFMx8nRYf7o5xiGr9fTuIkO_Hg76lfr0JhahG8nwByj7nRB_xln2sGGCGdHh3e0ntzmaULJmYYfXImURmCVUT0nNBcBKZxAKGDqxTZzyCJBN54N7dWddpajTRgVd7Y4Xu8REl8xUWGwL5QYGQU8Vua6lv6o_ybIz8eXu.IgRDtHhfGhUfzbM.Yd0hn_cTNxoX9QANn8Hyz8rE2M3piPj.ZskvOyWxtV08ouf_DMU4Bwgujd67MlN4J3TSXxDZh7lpa.smSimT4u_d6sQCfOn3BWtqHpPnKiEoNux9CI2lG8GxOnrVYwq4hLhD.2_KPucZ3XIyIzxYqobm4MQVOBAIVOpDABDVWfwo.ClBdi5F6iA9nCmjpysrRUNEuv7pSTGPu1VTErj9VyvNAWFI.Gb4zzxOdR7CmNANn8uesZq2ThU0EHALOrx8J.5nK5f4zlMKgJ3HKhZNIE0LyH7Cd9TIg1YiE6HhgykmXtWw9_jpDHuXsQyRjmh0L3_dPnXLUVZo2zXOgxSVby7xjoyKP39b1VIAoYXrTleI6MPdFTb1gBHGuCBDP1rQbi5RUE5e520tf6A.sY04UWFgpONGeCIzNEomNg6EzNCJXKZoQYRjlwxO0.07OCPaL7VJUKWNOd.GEM3l7BaBX4hfh4zOLQ4V64k6A9hP1PqK0fx3juZsJy6zmI1DE_omuw8SRM_ZIVlMJIBOW0C.Se2Is8HIrm2EKvHU0tYLXnbDCYIogyAUpvur6ZET.XLnexHXHS7pVKBV0NdknW4dUaPq87_3JDV1a.yRelINfr4pYAN_QjFkoA8oACXpgHugEo5KglaLQY4j29jUdg_7.GmkaGiGxQcDIj5WnW00eos7x3mIe1PxACuXLLfKPAQNiC0ktLi6rsqFog3exe_CvoEiEtVZofVNLILWx1R9XgwYgr_Q_T5poWTURK63_z2eoMdSBaIUppvj0_hX8DDx9yykDP4tpXNaHVSDSytC4eC6kqG.KTlzEFkUPaqcsQkcH8232vd6X7MHaUDgUfRphUQVwSH4D.6ESAVAALSRA9UYPbio0vZ9B0XfG.mqHqWZzqZbfkTmyX77FaDZ4OCrvpF0ovKbrR5GgH.CKXHZekeRWQ4SVVE4Rm",mdrd: "61mRTU5O_yzgJF02xeytc6W5J66HbBIQ2jnfqi9.t5s-1744381851-1.2.1.1-jxcLnEjYqzPS0HqpP4TOWPSrD3FnXAVRh5ZUsJ6aEWVKrAWmPt6L9jKjI_HB49X6V_Jvpx1eBIvaxTn6loQQ_YY.55gEB39bOwmLmDhlHb0MawX6L8VTx7i.ejEPBudZTLPunCPwk1mQu4tmYaL86V3IiiikS1RTRyxsXwMUKHp_AXnaXfHWgb5Ne51_aTYQ3u3t1rjjuHlxrAArVU5tNj2_EShYCoQsK.8fST92GMCrjAA5Ih2.9SjaqBeelHdXYjwCAIR2j.yiqmMj5Y_hWz_FwvjNSkMD7iOzPQPTU7ooAgco0BNoFVinmf3tkD8UfVi7C7p5_Ka6dpcXY_a4ggr2hedsjZ783AsyRi7r4WpK4YIx2iYeq9x5Sz03Q4q50D25eMtTe5utNqvSz1pzL4KBtDARhvlLgz5xHku_T1Zj2ax4MMUkQiQnle0IqvXvz5iSupgmklKs3v7uUisfojJOxOWDlHkoH9b4yRB858lr0vbOp.Zec.l8ns8vw.MaayyfvQTgn__dNELINjmEJV8Wz6yLX0nSfmlSJ.BYNyakLf_AuIb584Kp6rBlRYdg5iv6hfsCA0YFoiXsGCRXLPMmBEOar6EOaLEjn5ZTj1D3HKMvr95PxbvZSKunnPKqH.M8VpcNWPr34YP9NtBjcd7ru6apqQDq1AVhiFZYcVTMPFiLgZdOkQOYTHf5UzQD_0R3uelyqlkW0mTOGJY3UpfIuAbbkxnU.emM8mlbeS2XviSNlHavtnu2Y7o42XpR.NYee6RXT_Lii80RFy4fvRgJEmfG8DAJXD9FZKS0Hzz0rO0sTSK3Be2amh.h.i7NWT5tjfbq9CDt18xCgeT1xYBpUHtzhg7N3qflj0E3.85rDT7js1JhgcUMSMsPEq4YqBmPztzgXpcTmsdxm6I1HEHAXQu2SoLkbEsRim5WiN8DRs1v9Bjy3EyzBMg8F0ZtQIL5YLeHxEgyovUCKkh9ZCRdbn3AlUkX.ml455ZoWsuXfrIqaQuLN7x3.nRzcnL02OXJYYVraL_iYo9fE2JkaSzcktN6.Pu6GwKslBAbHnvmpXBByLeq7MCVkmdv5GB3DiVFrqyMdRcHFNk1v7mlD43ofLBT4SOSSzTufo_V80KqV8WQ.DGXVsP65LexCdIqaBWbEPDWfUUhGIVUfHHEI9cR_f54hlShYgJV3QsHsQdh0QZzqVoj.YZzkSlLAR4sYqB_MTZApBiYLPOHRF85dUmZvt4nTnREdYvMGHjeQJHUdRQReRVQbDn0zgc4eNydEAkqoBosbCLJTVU3dDltmhrE6DCWyuv.NEM_g5Vaa4QwhzIPuluqLSW4agc0kpoNKLaZzUGQ1Tq5hGbRJcANPnyltqe8wixKv.1XNtah.ZayQAqxr.VEfT4jULSBKdvwb0Ntzz3RnOrOgssnuzoWUCC35QcCE3q9IxGVYYNcPrJ5lAFuTSZd8hGePW_Khog_Ou0RIHA_VKsW8qt8HfdVzUUFdUr2VoALRjJpkSO.iV7q0zxAqLtU14ld_ITJDWaiac01U07eHoDzoCWBu.zCqJTHL4FFBfrCCZzylyovsQzZSlVX07IOJuj_kZX3yySkAcNwosiUHRHQ3dVPDucnIcYTTCIzA3hFw30EYQA_PU.K5tzg6PU9pWspbWJ7WcGX6tZAa_dE0KflGrELlmil4_3tQhahYE.pPbIj0xYsUxBSTqlptz088XIkyNL35FtRRgqWAtIIyRccTLZuvafnwx_t7cgBf3WJTU8_W8KNQVJKdmZ6dzs85nvHBXDDAAVjmFf6xsZzoebc8FRK_MNOQZD5xwVlZ3wR7ZXUBldnmT7avaAcxzpqE1vEFxm7PCTF78KxAB6_7NAg6nrHrniA.DVwtf.6Nz_QQkTm2UzqbgAvL.nwj.BFTk8uC2T1i2GwAyBYx4HXKeqyLVdR_H5vz98AidVAcVWVsVo5KwAsqgyTpGwSFrB97LIghC32rM7vS_5G7wMxaPJZlq9Zsf.HLDSPvho_gFh2ZNbe53tk82iiUyCwW40nNBQdelcq3AEbQv4ZSp3tyOy5jxZ5ZUL54Q"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=92eb2f2e29974e24';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, "\/0080.00702?__cf_chl_rt_tk=0sbflHuGHZsODJSIxDrXBAEE6smky79iMt0pg_UpmuM-1744381851-1.0.1.1-OW_O_AeVxRH1BfiuJ_m0kMyCB9izf0AJCri56VOeiDk" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>