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: '92e4a7fc78a4ff95',cH: 'ehyCll90D6xTcNAgVpw7gK0gPzJudBuUMGRP7zgIikI-1744313399-1.2.1.1-KX1f.oZRwJ556Z9.50WmgyT4DsCG9Pr_yexf_vm7pnK9dcrP.wIdVKWTSqJOHcoR',cUPMDTk: "\/0866.35065?__cf_chl_tk=c5NHaqJ5I_8GalaJlOekOLdU1DV_d1RtxEG8CjvqPj0-1744313399-1.0.1.1-LIT803NQGnspq.u6EdCP6pkSTt7q_i6hQvpFw9IpwcM",cFPWv: 'b',cITimeS: '1744313399',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/0866.35065?__cf_chl_f_tk=c5NHaqJ5I_8GalaJlOekOLdU1DV_d1RtxEG8CjvqPj0-1744313399-1.0.1.1-LIT803NQGnspq.u6EdCP6pkSTt7q_i6hQvpFw9IpwcM",md: "VeOdV3gm_FQekzABPWyfspOC6iRJh3dvIn.JftBnG_w-1744313399-1.2.1.1-gBHFWnOGn4EohfFnVbnoGc1NEp02FDDFf1OSPtjwr6zRI78.kmMlomT2oxDll3710sgVpP8NY8qbIfEvxRzUYaYPfBoLVB5ZldCanu79apCQowvGYvLegpeqeNUsz20O37vOOv4aJuIX0rJc1nusVLjPqmqpV9dNKyq2p2tVKbBEdIVtNISdJb28PttSQqmmsL6AYet_NC3bYoaTLKJUGdjCD6l7v94jr5.GYH_JzIJC.YRogFM4zaTk.J39ksgaOW_YzDLM8dv_D3yIm2sQ6mup8rsibWR1IhStjPHhOcyDmdXBnN7Z3O2ypKDRavtcAXcef.3RZ7TjabLbdvO.Cu_2YU5bmnQz3LrRHjHBFHX78XTvowjpjaCNXIjBXqQxRpW.RjnczMGdJxIJj0gAtssBAdQTHlAgwpLSiJ5aqjCiRBgiVzKEzrp5bOsrknyYsxbAH3zRHsYJtCWKGC1VU_0HruLsjhTVemJOBrSL66lXJuRHbpLRHLYBKTTNMmqqw2zuLcjWzbE20LIjppZ9HFtx9rXJy_KxWZessxvT2bpwmI1IfkhTiX5APkHdJAi0sXfakw62P_fXIYfkrOEadL4gA1GtZlkxaZcjq73nknTfUI8PAIsy2840MHAGhhdzvsw4HsGzJRaZcRLSA6SWeBi68nXcUVFTlBi10WINFw4DwkxfLkwXA6MmY2rMzaw71Ec7isIRWOleuSuLGlOtGwYcf7_0UpreXqyFXvQLgYO9hyU.Xwf8JCtUu4oQm5NQHzavuN48cURWIn5M050RW0vjFeRnd_tp4zBv7iKqRZ5G03JAfk75.splmlR.5ae4Sn2lPyBRiZY6BbBpdMoUlE.isBr5_9dAkquJ5EO4gos.Ksd7iDb3Iu0SfUMMwILs2fQ5_C4_B4n_kmDHNlvq1nDkQFO9cmOpU9w6C1RiYjjZUjLo6UtBVuZX49RAj.h7zANRyhIidPIp6GEMnx4rqF86WI49_sOEZSwtwsyV25vEd6XjhpXrpqz_0uSw0hgef2trd7Z5SX4ok1WPwA73NkcI3pTPFhh8Q9SSt7p0.Yu0qlaRcyKYegzD9Hsvpjb3rR5q3WBX3kVRdH5DOg43oa6go1oPhKmjhK6pbQn2QQY...OGFEqtJZcYD2RBfJub67oEKJSH20gLwKYp4yYCjIyZkqaLSjKut0NBDu6pPjdadwTicIPgnJFofcPszoqm",mdrd: "D1F.cfOe82wW9mT7jkQV2Md4ime9s.RT2AoEhQd53dY-1744313399-1.2.1.1-kHmnIDHY9aWvZJriC._ybEDgOTHwkLeKppUyJAcoShj5RJu5BvmW5nwGLkIvn4_FT.E_udnKYEwwI9efvyiaaflntf3vUmn_LZT4GUIOiKhbzNFlBcH9uy5uzbU4j5SVq1YvMo8e_lm1l845iyA5D8P2ezoM5OUo.2hNlbLigCVx9B5JAjxFSvY6.qCUbei6y4Bdltp_0K72JfBwFmND1JGg7LnX1JsxqDbgfaLhmizlOqLOOCsYUgDtu4x8xbWX2A2AlH_5PTAdnxTainq5ffKJ.q5gkLYdwUdq1TpPVrOwxaFn0dXbfnZPOCMf7lyA68U37pRULnSs.IjM5lO0W4Ijjlq3Eo7_81yWl0wAkx07BpWu6MxBz6.9wWqb9JOxDR5FnRqObzG6xVF.beuDjaRE1hq0wCvgaddntYB5z.j_rJqRtMJIo6Pif1XgymkluprGvsozIAAZgaHk3IBH3AYy4MSHIW8jxmjjO0CuKn_FhHmIjTvNGGQ05.GF0vesfroEOYoO5pTlD0Dqpm299.gAZNSQ3Y.yy7YQ6k7ICeSWX7KVjTtVnP6yY.PdUBD4LGzA6twQSi4WaiaRj6A8zM7gC1Z80Kbf7fajDiZEtyjoWRJQB2not0HwsbALGA9NgMO7yD6nqYeZvI9xh9R_.wiZ9WN.5uXDCX_siUZm1.nnc1Me7wVIeMApEdKwsRf7qeZyOAgbiVfff46EScKTe8f4DbM_Ip57r0qus803Kaz36a3TRpeJsBnlh0W2id4dUOUUTVdJ1Oj92LZgLXMwRjLOLfR0LdFlkOlCfIJIQ24d4X3FHFUu7KOIiS0rrDT79K7fECfBtKfC3fhnLhq7O1RIVpukZTav1C9DTu1L7jYA892Q9sc1O6CjIyLzV4iwI0GIC8SeeCB6E6FafJaooO7cK48826wfnZG5sQJtqIZlY3b9SIhwJ8DSAP3vTvcDwYVg_ln92auchFKLEXM4jQgBYIBIISA9XdoRmJy2fWKfXIG_OTsrMGOo0xmVt_Bpfk66ntB0d675SPf0bXnLDsFiEs.MSGXmsZZfYwatjIaozk7m7QIVaGk2cYDuxGpLGdpQEZFDpFfRMHCnx7k4IiI_8_mAtq8KoXiaBwhZf4VIr565bmqHFlGnwwz5vvneVn1bbwdH5ZtQkJJKC4eh9PjPmT4EIM3LatM1mKd_A2A.adkgTRKZAtga1HUCGYPb7U4lpL5UcR8UJC74IwT7AkSrSnSFZg7ViUQGNV6c_TSJoKo4qClaX9w3oEEQU.bbX6tQHdbdzdHWc3XMELnToCUuwp08Ycj1RSUhwrVJ9ICz38wGUVL2KR86ucI0LqrA.O_4SQIGPWGR0mumoqdA2mqgoYWfS1wy.uJ6Nh3997oylMy6YqLUlVGbkyLXE89Hn8rpQhlCBGRzjL0j3Pno.bu6F1tIdk.3MHRC0tMBkUI7BJb5NkEfzoirZyU5HC_O3NIznMzu_lfFeWfJohI24XWyCvoKgCjuQmYgmbLZ0rXhsseqPSNusmx4noSr58S91okixGVcFBWc5KE5BFgOqKvyYqIG.Ve2z4fUtTmLVzE46fbibdO07nuq2nqL1R7Hl3Rb8wADEhuPHxk4QgTdbVijc3zybfQUQXUa1nWyZkMYlSBWUlbL.BekolcHYUCPkEO8aIvf1MlNobDA.P1J2u8nMR_jk0T3l8xWWMs_r0Q1RyBSWeGpNKK8qTb2X69FVPinlBLQy9ZBGM_JPgDDXwAPFmqLAZb9itHF7Hj.84CPIA4c4Oqu5uwrSSxHoGXNIRVvTba20IJm3cjcj2IBUj2B9XE77AwAlEhWl7Vc8cCHyVY09vJPCRsTSWTI1BH10sWIVz4GEoL8a1K7.Wf9aPXyqcMACjpuS2b7o.Q9LeMezluXZq.J2ef2rPk.GJIjaHPN7uNk4aAeYffS_Em9RaMGrqjKbadMv3KMW0VMY4t8NTXTiN_A5ioWxeQ6HSKNRPo_0fPOcPgEKRTOLVOMXUKismtBTGClROE4XG.tnso"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=92e4a7fc78a4ff95';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, "\/0866.35065?__cf_chl_rt_tk=c5NHaqJ5I_8GalaJlOekOLdU1DV_d1RtxEG8CjvqPj0-1744313399-1.0.1.1-LIT803NQGnspq.u6EdCP6pkSTt7q_i6hQvpFw9IpwcM" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>