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: '92d52eb6093af912',cH: 'aFkaIQt0oybwUwqPiT1eLVEfuQ0hLgk_Ei8iL2mSOTM-1744151145-1.2.1.1-yRqvaPqta0foL87WtYG6lzMW9xpt_SJMTasMHLh95AFfqVhBc3zUT0S8Hx3efZP0',cUPMDTk: "\/0864.76022?__cf_chl_tk=8JluFbPqcNiEdsZB_M6XXG3chheYnXlABWMvKQ4nJW8-1744151145-1.0.1.1-qM4COAmW_bWdrv7SObCQOCdsLqXlZEY4NknBCMPCris",cFPWv: 'g',cITimeS: '1744151145',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/0864.76022?__cf_chl_f_tk=8JluFbPqcNiEdsZB_M6XXG3chheYnXlABWMvKQ4nJW8-1744151145-1.0.1.1-qM4COAmW_bWdrv7SObCQOCdsLqXlZEY4NknBCMPCris",md: "fTo8TNu_ZrekEGFTyrXe7Sh6ahIuPIDalHu_5bB_ka8-1744151145-1.2.1.1-FVyMVXrzRUVNj2FU5T.S_FqbJ2m6qhauhxpTxwgDeYrNBAtjuEQvX_eje98puw7vgRWmPK7heopK7gGCPBE8pzAYtuKMiFXzTQYqylT0XLdMs2M3oTzt87XpvP.PTVNQ6u24C3iOj6O7RnaSVVUq3nefgHEVB3TBDtP4u0WX75sn9HREwS.s.dhFJ7B9yTStRN5tXLxr590OQloZ9szwpyQIpgr8xDisQWBAsDWtzApMTCizCenU7e9ZPxArm1SPsLsmdRbjCWNG70zQvvGtS5CFNHVX2oN2a9AscdBHZiM0QLGOoI93IQAuG4bPhbWIPwW.wnLt4Y20WiYHn.qaqiS7O7OldpdyxMDGuksta30CbLJcbctPc5pK9jf4hjox7uSsH4_vkKd_OreVYlLWRHNI_YrZqz6t7k5R5CsbDt1Cl6X.dWG5evOqCcEmOcLrd7gUWIXqQyL2wENhqjKlnixg7pEirSEMwfeOZYdOxiUaNgIfzm5bNn1a0f3S8zBceugYmctz6fhKV0gBP9Z9cqd0k68kB9VUabAkhTdJP1CYY3LukeOgIHoUzl63tS6u5Aiag6VKjEa0MlfcJm9uGYPLndvNKw1t7ENNmIdbt8trX_5R9_bnO3EVy8Ex0cwdDlI5OYI6.qiedjXlIslEZw8DDRqVjgVzrv2O937EUh3S5Lxf7Nu.cd4X3jeBq4mVG6GlU09ZpCaMbFAbEDMdeK46AGA.szTUoUIV9V.A86jitMrEXVIatELxN0SzLXO7avDCBEeGzODxhb4CzBU27DMPb20fNi9BA8EQ0hytVopTWGgwjTSqerEWHquKnRrY.SqIbs6GfgrgrvlfjHp.0ZCHaaZAwiIFoVhc2Ubi2e5Uphlx9xvsriOm5jK8ydjpVT3kkiJdamOg5pvskWXfwNqjHdMY2m8E3nbswFME6P0hRPGJy7TUrm8GSsbaS3ag4VQvsw8GHY8K9_JiTsG9Z4zxQlNbdxF2SrMu5Vf4FfpBa_Xa.QHKgu37bxQbCh16cQVGX4Gcgak_BYZ5AaC3KRxppKC4SFMcxvMxR3EQesG8fQ6UM8CtwR8HzNdWrgYiNsZvd.fHN95uEZXOC1hRB4wGuG8LDniJMcvzRWO6lwlE1jl0LwW8yL3q5KYZrNhpwCHb7xkhJ5DnFDBwjAu9Du4xB_c1y55p.7wo.jboF7CrxSEUE3p4Vfg5BszO1pio",mdrd: "JzVvwR972BroBUSSleSLbHuEWrhMG7WlXHzRAybU28g-1744151145-1.2.1.1-vfy0c98PH43l.mnrt2WB6JbMeGlH.5kEWWQUoyoDHqkreaQHMNkvb45Tlmnn8RCYVV3rsHd_sZr8worBYcW72iSyKi47Xn5IyZYNCZcXLMYfds0rT929zJzDXM_qOBkrQXfhRiz4eYK.pwIOzHEoXnGohTlbXakAKYXzhHHX91nRDtPmzyMaMTyQg.DlhKzGUzDafunMQzHnm1ZzsZ7W.ftREVIp7qj34hEcar1lhl3KD7thb_t9o6gRhVfMA8S3UgJ3SxYL574pbXrMwoxS9RC846yzvrT5P9_DU.0hEsQrXe1RvznEwsrBahAZ6dPJdjAqu.I5UUg7cz6HbjMUQJn4itKOnlgHRzSpqrnAIChaoZjwWRw93OQqIGXCGFEdQ.HtOPSUVMYNPhKbW9PVNad99oQlGHfuotiz3Zj54zV8cWBTNPybaixaeVeQHu2LKsku_os2B_Ze0kvufrtef1QK0ZVJg9wbkzPKJxgHJyQv_utAibrGQBkk.6T2_vx6vaCPlWjvOhvavwApSVcojaBRXicxCmCBcfIKKGZOzmmc2q.sbwR7C5fr8jDkAToBG2HYxSugjqAHCc_AxfyO4dB.BubLkwk9llvogYzk_vw.HMEM0Y9zSeJRTyVV1cgWfhPTDVF9VtHRbDapGls_10erMFdiWJ1TtsKzJ8q9TP_PWg3lup3EGqiHbIvclXEHG4DfPb9eeuwkUIHSDqL6PhEkuNyawvHGqPNCsdDcFac5_qBL8NcErAqZ31aIgQ8gzio6h.ThJ8PBZvCZtJ_n9GOtbpnLTfJn_44I3QfOKEBqCXoW2W6FpRH1mvzz9UmCu6zgjuqd4371sHXxaWqxMnf4efJRjgL4_13EfFM1IWLEtuatFLZo4aT6xUZYtJQCoS0cQyeC4tpPqWvKySaRWYEXFKHMVsi6MGI.tnyRoTVk4H.POLk03rpUC0qmLFV.8aJ1QtETEj6su9S9noD_zVLna2L2TmfXvkrPoLcUclshu7XJSunlhmLa3MBPvMNq3C_2vKiQQp.Y7EIKJnQU6mXVLeqAh_bSHjYFqikV9ta2uJ3xvDMbPcABULgCSYsriW9WytwQ5C0c0LbeIXyW9BqAo9Lc6b3Lq4e8fUfNuZtje3dnkdMkMHRB5ZYBPrjTF8ySuODDc3vNnW_7NZNETD0dld2uPjRphc17lMCcxiUIlyY52xQNdz2LK196Ic1wT7CT27LTT9j_cR2aqSBFft3Mxox4eboFZhvfuTbsB5H2L_OayUo7.fezOJKyVXC0WjOEfFlPGvjZQo3njF3YVJjIY9DD8KO8yLKvXkUBU3nIxXUfDSvOtHL_KhbbNtBGfJzYS9cBenPVsBsNz51pWpdorIs1n3dmZBoBy9U4scQ9Dw3pyPM8ZbRKdYLhHOGWzuX0ZvAG6vcaMbPC8c2h3TqG4qee.pWBOfB2w1kRcYvCXyjEAlVpGvbonLlsJW5k_vUSxXKflhGQyPXNWLdoRIUfcy8uKqiMXNjaQuIZ6w1.iVTw6AyAoM5RaTNibX2s9VFhrEQIuavDtFp_nfvLVNxkBWjN7uqzd0eCfL_ja28rJxfPw5hMfwAy_r0QyHnDw26qGh9AHsGnVWNXIQ1oBVaQubbtT_jGagfviw7eD76R.S2PgKeY.b_IEwfyq_uzNIB3W9biwJxUbLFhf2zIrb93bVo2ibQVKiVjyjoeR9HJ3Dr4OYCK9_U6TNaOsUgAoekBWw4Vl0nToe8gB3b3P6do5qciNqIW9XpwfZI6Aj6.lEOWaWWfkfrDvaaZNWdmL6zZRsyjkzDKmkUnPeFMJLmgMOJ5DMj6JlV6qcnv4z_lCtaEE6owwj41_vOEwe7O4c9tTLJ5q9tDLKITTl92SUDKHoZ9W15G2ZhdldWwNXyHIC5E0uLg0nXmfnGxUOGGJ2dgExYTzP.NyvnWnndzT8L.XQLHpWldem8v9H5TiJLDnWDclVRX4eCN5yq37fBh.8OKickd07z15H48jZsycpIwBHwMHwz1Cqvd8QF.R9Gdti65WrOlpHGXFngJCkuLjli_IMAHgu2IUCZiHBVUGg"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=92d52eb6093af912';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, "\/0864.76022?__cf_chl_rt_tk=8JluFbPqcNiEdsZB_M6XXG3chheYnXlABWMvKQ4nJW8-1744151145-1.0.1.1-qM4COAmW_bWdrv7SObCQOCdsLqXlZEY4NknBCMPCris" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>