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: '92d96d8f7cc344b4',cH: 'wU4KZLNsD79kaSVv6Gzjor.rOleFf7XkghFcqST9ilc-1744195663-1.2.1.1-U_dZOlcthM8e_lOqS0MAzBQlJ6gD4XH1uE3tpkGecswVWdXYoDDLtfqP0Suj7Owu',cUPMDTk: "\/1172.35465?__cf_chl_tk=ZwlBwP3p1oLTZyYhTWkgGDketQfpC1Czoh_YF2AYEsA-1744195663-1.0.1.1-B3b_b6xXKz4ui85rIH2zAU3qU83js99zn_ciTN0Cpio",cFPWv: 'g',cITimeS: '1744195663',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/1172.35465?__cf_chl_f_tk=ZwlBwP3p1oLTZyYhTWkgGDketQfpC1Czoh_YF2AYEsA-1744195663-1.0.1.1-B3b_b6xXKz4ui85rIH2zAU3qU83js99zn_ciTN0Cpio",md: "M.SNGrifos3T00pU.HpbMp_b3yXC1CCMCixalbdYMvA-1744195663-1.2.1.1-4xIDD3VCQK3zHBPPid7eYWW9K3V2yTH_qVOLMoMEoqfuDyG7hZWeExXK6hY5oQg3mbtN6_Neno0ewGE3geZ5qF57nWQG0lRYOiceE8bZA.Am6LdMv8zbmkPHz6AyoBjPvlBC9yMRTVVN8F_EcVTbb9WLDthxsV4eNcv7uWadSroK_JI87XQNq0R6tgZg5C9HuF7VGr2ZwhFyt7tLFIFGo2cWUaYeDtfOme5c47xZQIpjwMEdCO.vuUJkW2TEhYqKRYf9wcoXKGa8qOZH_kYYjvbX5QLTG_owxb80FzJuBKqBJgR5OQSE9gJ1tbr0IqPuXGuyEED3LMAzkjkd58Bh51AMgv4VtOnkCBQjYw8vYYKOk5GTbz5SUFlbzjSwAZhTtXs.A2IOvtno_rPPp4_BtUBSSZ4fTsRegUAcIZntooZ9x13NvBvlhTI9lN2DK7INRkhE7rKJ4ILjOM7pYsFvZuR4Pg1M21Oxjeo9159Ky1L0u9OiPubpg9Ri3SLTp1C0.hb1RH1Lhd6B93woJ3EVOYMQ17xYU4fhLnq.l0DqQ237bkuzG0DN3osJ3sAi_CAMY.HDl6gIxg.JXdQ.hBH.nJ7YqGgSacA.CxuaYTE1SeOvc3zEHkVO0jRPKi1nPk2wZiSZeLVymEqsjVO6WY2VT5jrcuADl_JQaNOa49ZOEvZUoz.aoL8RJd8qyZP38vpJRq4WUXqshG7eXgVYZa6Nm3YTRIVsvc1Pa6mVIYbzO4Cx8KZQiheO5uD5B2vRt.LfIG1_DsxHZBeyex4e1KR7M91TQuinz9xTLkjxP8_IhRWmyY5K_LXDAI33Wvco1KNOvcnZ9VlOeCXzlDhK8rRvK38CzNSxAyIGx4YlSH1q9B.9AZ1SoII_FVm7FkkgIJmSd1fpFXH8IziYhaqesworSxHy3O7OTioXCZro2QKjEDP.gVKL.q9Xmlyun7Ndrrgl0zjAN8H0bQk9kodSF3DS_NcM_E64HtKtJxRhvMCcXTE2MtgUOK3HBj7SODxGdpNk8RLp2byZTndzwoR1FxsS3QmGiQy31JsLXP81b8XTRV9tUK7KQOA7JTdrqCQ3zSVxOel6Imd5OgnaIsadJeBrBPsuH8a5JqAeN4N0FOrU2SddC.rGZ.DQyXhmrklXA2.q.Zbhi3T._cumIKRXqcEqfEil.OfzU7.fCOyosJSscf70zWRdooI.qhmhFjvGmnfz",mdrd: "xL4gd2lGr.qCmTgJDDqCDHSvClj9N_laYOX05tPWF7s-1744195663-1.2.1.1-sPat3jn5noVY46cN0_8V66Xtl589_iT2u4fm4suZvmIl24QubKZl2ov2hvGRsKJD6qOAKOPK8V7lPKhXo.UWawfYHUF69dKKT.5nw8BB7u.BVZptv4FqpRW7JB1DquVnUGoLiXPi.P5oQiLNNlIxsRDPOM.2nZlZ.4GE.32n8FDgentYSZS.7SnPFCVqVk9G4WBWRruxvG1wAO3058p83L4ZXhr0kRITczWkylyXSIVlkCTx4X9Rda6zk_jl8kgh9Qm0Z9RoH.sSEpLspMEC0Me0gIIQaAXVJrojN3u2meNBAJyTlw3gf2zj_n70B6wsfXTGFfGWkl8qI8aSKSNKi7HI1kFhO.bNfY17nx7ktVyPd7v3hq9v2ZhirrjsMttEx7dx4ufPd9LUAUX.xvbxglqye0tantR3j_0BZp5e9dBCX2ShqWJZpyNbI0tZFnPnKT2N_IZbcN47us.5_xFK2tq1BX7oOfwtkPNtHdSNqrkdfgzBW6eazfP92_pq42x7MSNKDNo2dbvH2oEp_JLzKBuw3nf3o70k5TCE1iGOKh2DNfJI9BiPaBDIUmO7wu.SNi2EWnT9EZF67kHpqNCmcX.XciE2grXH0Ynct826DU35paAFpwZbgMpZyauwKqAHT4eTuD__mcqAui.MS9UTAzDA8c6WQkHtQ.xJ3hw1YjFnSdCDKAhO0DIgvBK2JhYAIUkiUF.JMxf_1_o8vFtXp4lvE0XAtO38b1TmeFgnnloZoHkXNb_.cj53QPV.E5wAP5QWlop0fUqHGQb6IvHckiyO7IVjLei7pDDBIIsmzsYJbIdSozO61Cr8egTpYtZi0iGXqOHVfr0llfA4LoUwwTpbXHGoatUjP2tVY.UABsUbFK_BC752xNAmUq5qg41AZxUMB61q7pZxNSWXJYH49.j.LQn7Mzxp8_8YkYqyg3KF8hl03Shvn_2rDWMq6YgvfLvncrK17vNVJGicvqhCShDOf5EnYtvbxHlpoH1ufJr4YazOq.8BcjiWRG3uFxH.m_syJ.eEjMPmRskB8fexJoTOGQn_SnbtWAe_DheHtzuWPUVTlxcNolUCNC_eOEDD3lJJ7rNIyaMss2bifj1TR40A.igTB_ekYGsHfZ52SDmEyykhZwAkzYjZI0upj9rTGNWMGbpTv4OjCQO5T99_98ffTKhx0olo6vq7Dc3T4l4J1xaluEHarXQ_XMGFYKoQleBz1wxihqEm2gzpR04G_PagPVRtXH4ntGW4FX77udelzK6wan6ZQ8KzaXxpOaxsz96MDGkk.aIfDs1e44RjSOt85vrZ23pmZboQPKFVJnglMxyctiMiI_RYKxpFmIYJFYqjPM6NqMCLrbWFh1HeomNRSTY8LzHZ0MaehYN173m8FQH67ZsswPQYljOWr.HT8eFn.fNhAYgnhHmKQRqSCazQ1EXPe0wNivdGDQNk1GeJm2gCBr6sYw4XerHvgsiDu5Zi82dVTDaY.C.yQnP0GLmYKqWuwsq5qmotEb0so.rJuW1YS79PgBkp879C9FFhbUd2PdGkKghjT1obTmceyF5rSD2ob1Z8b15_MJGgsj2_QGBDfv_Y6YGdxQTFab7IZ.W2IeZjUQTAlfo00tHveG_MKilTLoi2ka_DDeJyPcJ2I5dayHmJ_aoIjNSNkuHn9TFFBCeOZYq3NHLOH67vqrugJ94FOoDlnXLO0CJSitD5.KnL5rLJ.oJvY7Fx35SJRWs_9pgETKlWL.csFG_S7DF1RMm5jPDAPoH9zIfBw4gxrFZU.9gcH4OTnHD3MFqPwg5q9YsK8w4ou4Tza8IcYR7POZIglkpyFMCEk5A0_kg6H7AWbGMtF3iwelEPn5SGDXdtVPlDOFKKcVC2qLnjcWnZJrBk.So4wrE16DudFtVhLwQmns1RLTmv7OPrvArjyW12jHJTLVBrHK80XbeNGefzSk3ggpEn.CW3X0kYR_kZB_ORsoLIj9LKJ30dxXRM9ZHGU5J2fQBKoSPbeWHrQqUNEn0dQ56Cga_o2Ep1GVJPK1Q1dkp8l3Ui1MEsIX83"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=92d96d8f7cc344b4';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, "\/1172.35465?__cf_chl_rt_tk=ZwlBwP3p1oLTZyYhTWkgGDketQfpC1Czoh_YF2AYEsA-1744195663-1.0.1.1-B3b_b6xXKz4ui85rIH2zAU3qU83js99zn_ciTN0Cpio" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>