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: '92d3e72a6900ef69',cH: '2g3pB_uZFCZUgKFYGbGJGGVFDisSajAyleS8miHw1lY-1744137729-1.2.1.1-jj8MnOhsToHX6jkpAwrP3ol0oxmz.WHU7BxN3wGzxy1MPVMrSsEE1.H.B3EK9uLw',cUPMDTk: "\/0051.43103?__cf_chl_tk=TOXaOKXxcBEcTA07.couQfygL63BPGfyI8.QnbIX090-1744137729-1.0.1.1-oP_woqdLT1ANCBSiv0jQbKsBKiaMAQ2kedTnuLwOrnM",cFPWv: 'g',cITimeS: '1744137729',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/0051.43103?__cf_chl_f_tk=TOXaOKXxcBEcTA07.couQfygL63BPGfyI8.QnbIX090-1744137729-1.0.1.1-oP_woqdLT1ANCBSiv0jQbKsBKiaMAQ2kedTnuLwOrnM",md: "11nmfeaWWWPoE6WBQoM3QMZYv5tiPFlb1QK1MR461QM-1744137729-1.2.1.1-micS0FQpYcPS1IZRt392VxqG.0QcmAnejW1T3ShBfunIR1oWzBWGXv1tYWfYjQy9HAw9uVPrYmMfoWKRkJ9lP3oa0lzcoa9jqc4r8t8VT89UqX5D2vCEXtHD3lnsI6xeU5XGFlXCAIZ7Gz4s_xJIsm2igD9u0T8VisZi8iL.4UDRmFrhayXrFOtOYolhlWxMcJ1z2X_danpH1vo.TPWOwAzZBh3LwUJ1CCgOPcKsb8pq3uJjZP0Dz3qeUuVLWmApxrqQJ6tEC.cakaCVAD3aPoQtJqrIo242CB4POkazP0cLhQ3h45nCITY1gpTYbfpI8m7uG.wCzycnolqjlfwGLw3jrgYBHzRv6RpeoXvjGxKBF102rgUrqfX_rCHK62ZlYaYQHI2Ort84Y1_05E9fl65mBGE4k4EcIlVn_xQSdYZqOCv3I40NgcQfwoOlKTJo4mhaTz8GyrFrBy.z44HpyjY1bHx9ASKhCcHWLB.rS0yD4SlAWpvCQ4.3.l_fHR3OcVknYGweRf8O4aYWE31ejorE7aKwZS0NhvktlrA1_ORHae2q9Jebpy_X9zsMIVUwz2lcIs_oklxgbpkWK3rHjA02bXv.b99EsCHqjyMQJILxP5Thu_Pf.forcrwH4eThS5uUjWwDis1rD5IRxkAR2_rqQa5RQzM8fHYJ8kvjsleOZmqexzeByaBq6epOjEYItl3jhIfXHhPv4wqtFqhYNrQOmT5dxkEyC2hYl27lNpW5rQxboKSRqQP6kCXWYyL9WOgPg9_czjIdvm8YQDJ2WBEF7osHTCWwp6w9Rp2b5Pvn5YRkHqIP5VD2vZ4yhMavOroCqtb04g6JFv1KNDVcnqINmvNb7S1QUA0aS36f.JVJts8F4OwglTUlK5idFbIzjpjCtZ2qWd2xte5cm.P55G2IYGHgbMXXT.bPNM1HibIEoTurYSjptQEaLcVCNexreG49ktla6qAUVjkLuYM2OxQMrvdNb4kC6bKaVQb7S6fWgXr2sz.EfYVMN0RaKUMcUeno19qE.p5aVlKW1Vm0djicX6hQhwUsvQ2hgAHWSlPBN.TFqdeZba.5zWNT2dFL9oSwO.8dP7Oyb5615pSeiJRpWps41l5xygqqAey4EFdoVkCCnA5hraGq0ou4Y0x_yzcugBo3CU56uFPgTjQd5RkxFC0IYMl7O8Sv13GmOBf5DEFwjPGPPHgIqA67NZ_U",mdrd: "2cQkxKj8HyLmlu.DhSFwcV6rSIWdU_Cawg0KohLqyEc-1744137729-1.2.1.1-5IPI0eNuBPCdubIdI5VbrHiAhKUAuUv_DEMw0EAG_WkXlzQI3lQ8JfjWNMLnbREI.Bk22_R8hjc4ai0FjgcKWwfZEPh8AYyxyB4fA4Uhhqtej.FMZjvQFS0w6Uz0k2Bl_jg3YzN8OckdOh09.HUBsaqxaX9_wnC.EafH8FA5Kg4dVRj0.6g8TqKcj32rSlycLqY.GO.fjnyukA7BhYNCDqCi7jMJs762_MANq_sq6qGBujXYcHwYsY5QEeexGPoWRwtdHLRdxqbo4UYBGXpexNe_lrKVYTaM3QtDOxE34XtHGQZHFnG.XwGo0humtDZS9FRj7CmuF42RmQoHFFWrQVQckKYtD1oAEqj6Fe1Y5.YodTnn7JriA9UqanepbgwsODN7MM3PJNTXg_GD_1h3jvpa8.YolD7RATJbcXuepSdw0RXwPqw17l1FIkWHg3yztpCYIljxBb5KkzlLGR1hy4fdHUu7bbOaBTtBgocXOUnsmhRRNkTJy0dKgNs1wqzc1AiKdjy7Q.cz5Idxk7nY1Gx1S8LoNJ.kWXNyrA_1J3i2I_LibwKFwy5iwMQzfRXr5vDFLnuu9L9bcqVXD37yyAL30KZMuY1zYEUUi_clMsCcOJrZoOcbIzs3hOrGhx.xjpPvH_4CbKqe65w7_DZ.TPQbqo2XF06j2ritrH54.m6ndLQfMXjwJc729Wq0Oj7PXC9w7s220dK6IAa2nr87MSFFLHqpplLu3Ei1Keyrs6A6P7ZCqrbT2piTK288NjX82hpPF_L3FuvOcaz18y3JMDiGiomgud.usZN2dvqMDJkLsCTaFCoTwscU3wMzP0DRQL5.8Z.NRrlBIjY3EmYOjEdSmmn0wQmEt4KZddtVc8YQ5xQ_A_HM8ZKNv5VntoPdj54Lpx1FHL4N9jT6ilsaHXx0LXGUgRmS2CJ6XinYOwZBOVzZC9EaAXRRLcDg3Ng6HfQacGtcD83PrNmBdqXNuOvkp.I3rOmmHiTJzeePgOAMzqTZ3K0f4YQbWIAMK6JyMyIRHRvb1ND.wzxInw5RvkIe296cloY.IAxIF9DaACeMrOHLgs6ZtaCIYKJGB6DnbKiSZGdiV5PhztQLcgDeOvvyu4MDyxM0OX5nRVTy2W5W9ZEBxX3AKiCWnPruxOx3rOZUfmQV6FSZLj31BA3yJ_9RSFstR0vHx8.ZIg9ScwRHDQoVhwzNV23HBU0XXjajUmSvki9.tyFmIucrpojpXPTXqeIzcEAkHaRCetts3FTCpM7nPu2id_bnQGwdjjip5IkSWarVHvJA2S4TUmgecRr_iOyzYOzP._FlSem0s3UroiQb0vzPxowXkyHwg.XAtMgl.BhqXYbr0sECWnguWpGubBYjtCTSaTrq2d6chD5U1fWLC_prwocelsVsOrmpvFFoyD5F0TmssJ.dtLutoFbWCGF8DfiuwbMATYwoErQQetuxOso0CxKEIwbHp64T38CqCWh2s7LuMebAw0we2Fj2EtvxlTv9TlYrtamWomTCOf9ekctVWtKU0coM0PjE.LIOx6FGuGX85Fl9bCJ7Qbmk3UgwcnRy01pRWUpvc8oL4ZoPrMo0O.Y558sPf9VOPoeM7IDPKOo6lXarptdwI_tkcP0y5uVL7yQFa9Wap6Q3MCZGOo5xP2_3el6pWFRrn0vhOhJjMpr3IQKCuZB29FIoGFkOzepNnX4zTHSdUBVKde1.eLtYvxYSxkzH0tY9S7DN.I3nFVdaKtgFlLPGC1577wmXibO2Yg97Eyqwj8c4Ysv0t8pgPm2ozkgCp67Ihmo1CKS36WeddEdlB5y6tKL5sldcCCsUQ0wndDYEvk0XyxGBo2jixJYBlBado.tqXmiPy9d1Zaj5q1rDthauSnQGdvIOd.KpjGnZZKeOxo0_jRJ8yguAK4hh8.EAUd.dnxZaDIBUvmdV8TFRtpO0GJw5LeGo6SNgJHRW8qdxk6ex.mk_e.GP0ydVvJ11b9h80yA33mubfwsdj6s1cU6MgJFsvERvfuFXoN_w7f.GEPcrrSgf9SrWsJeXCTghjevL"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=92d3e72a6900ef69';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, "\/0051.43103?__cf_chl_rt_tk=TOXaOKXxcBEcTA07.couQfygL63BPGfyI8.QnbIX090-1744137729-1.0.1.1-oP_woqdLT1ANCBSiv0jQbKsBKiaMAQ2kedTnuLwOrnM" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>