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: '92e97471dd3ffd9c',cH: 'DF_IkdD3HdeU9RVPA43JH_NPN80.KejY7UUt1sHM_mM-1744363717-1.2.1.1-YvTn1Tiu914C1oh23FRZgU86mWennuits5ZKZemXlUlSUV6IPKxP7T4Mf0Ry4yGN',cUPMDTk: "\/?q=ci%3A3714957&__cf_chl_tk=6pquO5HKK7acczkR7c.N9B7uComW0mG_jkb8.Vfj9K8-1744363717-1.0.1.1-unwpkIhvg0u_BC6sfgWcVuevrOgLi4P1fWmYQPmF4kU",cFPWv: 'b',cITimeS: '1744363717',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/?q=ci%3A3714957&__cf_chl_f_tk=6pquO5HKK7acczkR7c.N9B7uComW0mG_jkb8.Vfj9K8-1744363717-1.0.1.1-unwpkIhvg0u_BC6sfgWcVuevrOgLi4P1fWmYQPmF4kU",md: "JO.9QNIh.N6vjM98TNSZpPDpx_iHhSSCiREgILJWwEw-1744363717-1.2.1.1-3zuaks9fl22DMfQ6dmxnCWUfyXo4ZhraKIg0WLDjHcG4NHn4Nd_FjRrnraEsIRutKVqImKmuWIrbQWFr9LGlVy65.2ME1VOZdf79IuL_wnIOrzykJ.MJGG801yYgsAWSvHUe9iusc6Bid7t6MM0oLUH5PSn8031Rg8t3pgSqTVtyHJM7K_4BqmexkQ9NLO3iELdJzyc80DwR83BHtiNwnh1tMVB_kJbFk.yiti_vjBqtv86DeYxOzfR6l3wn8HQAHmm82tgFsju1IpI.luEk43OFNHx2siHgG5Dw2fJ_ZB6TXBNefOd2srg4jReeb_petmp5mN6iR_8AQHVKIZ.gUboMEeDApJqMlhWfIp7gwd_NmLkiyB4oNMIkx.w3vmHig0jPXuk64p8rXNuJ3R7n76JMO63KYGqcMrOhjkMiRR1TX07M1a94INf_jUY3ugqYothHjQEFyE5XG67jyvwoov0VIGgilNx8peuxEiDw06rYMhbaFofzusrTs_bzq7zde3JVAd9i85ltC_zfKVfJneoVCXQr3KhWCBQpaqYarxW1Pf60W9V7WhbX6QwKIWFiKPZklB3RS41l8bDH852yFH9PDoIPbPubsYsYMY4QGnHltwlo0Q_QEm8AGDOJm1L4Ken7FMT2x4J7._fV2CqyJkbP1tEzI5_DFxpEHpFWRdwuJVlGHY9PN2Xw6cIPRAYqToEYFof21us_5D1wUAI.sk5Qpehvm16NrdkKewUwxD0.OPqTRAGH6PfiM2XF1LsZkbNHFbQgzoxxAuju1eF2NvOA.kMDN4fj6Q9OkxQRl26wLnJzDUD6rVY7Dqm8rRrrUiL6hNP3W6jBeU5Vfj5YtwkfAhgm4x_tZ3U8WDUF4Y.36SgWcUzHXuQgK2WVH.Tsko4zQ4UMQVnTXIk5zSr8KCOKqKt1GznG429nhvEMQYDVdMgsBz2GfIqLOgBDS514EJB8blZrMIPQTniWzHful3CWPXx9SoWDyUiMNl_gzF8GqiLdeuCEU3Z6IAFNaSkNeJBjnJw9YXyIEs5Q.mI2g9qxpXoBI97rVT36jSYHcg2sAfKJwmmdv2dTktpNl3pZ40HgAcvlKJ4NDNZkUjEzcuJOyl2J6Bw0UpfpHVY.hoSI6HHX5jvTTy6hOU8DkV4rXp41gHLM7nv0.ywG6JzegTf1gNh9k0uL5k9cIdKWPWKIUSgkK9x6CJsfwBPIOu13",mdrd: "Cqyg2bTp37iW68eMpvLiVNgcpvlnM6JJ0RlD8onJpyU-1744363717-1.2.1.1-AgZeO7j9UeRNDewfv0cE4q6os7dojgSui28qMkB0G4vDLjLSX59HnOdnYwbDnaiHoH8btG57zzR0Y5.2PBAsHx.on1ncJqk1T4g9G_EoH2.rMgkra1kTezo.KCColqQPwAwka8pVeyYIdqp84fITvjxcbfAIk3vtz7eFn7AO_cYnZC3XPuimHW4CpmigU_ZSbeYU.0BlWhr9HZeYMnma39jdUxlnLWakzZ3PEh2unqoECui_KYVP6Ue_sjqMCc_WcLTNbiWMiWXmPiLNci2RuJKBZEoJ.JArs5SW6Su2vXez42gJHjJwM97eDTEYUWv73vTpqQuDg4KLeh0WfzA8XjOJGlyzUNT.8BHOs8DzqJUW4iqVwkU926P.U08wez9eMMT_4YrZzGzfeYyUaJBCTq7JmUT9RYlcLNnyI5CBbIwN9pModCC0Se2OkbUWWTfmJ9cvep44AlhuhR5GXt38_PcXxlu4bXGJmC1UTdJB9IRG30drSA8YpVoBly4h0B5I9VUZm11xG7whNZn5Gje1hgv544BEdeNvjwgirVGgBPeIVQyvvY6UGHHnskFXAI8AXAP2rLGRpcHvbyLvrcIIt5Cj5VbS.Cdff021CgjvyLkkd2p9lLs4keRJPQuijCywyYb.oV_o9rsqKOqw7dap47eooJj3YY6Vtsg_EBjQJU2xOMnyO0dP3EWsFkq9o2HKMmovcEl0Qi.DFn_0wzGc1yP1xHx0BSG4wffBMO76xrJsNzBiovaViiK_ghCZL7vsf9Nt1XyFVfZvG24Ri3e4i5XgqS0hRzOfRHfD.hXA05_zob4O1qEzxe0kqwJ3IE848iPDmotOYKHWogKybN4mNRhWzvhD3rcSIS3VJ2C1U6UiEzFOA.Wfn0.SLkx6z6PCnL8T6y6XM7mxxPDVnSgDzY7nqmGaPUB6bk9wBL_G66ApfLLnF5YxY3nYxcKlWQZAWCHot8flkveyadVHmBb.jAm5DsfW.YDrl2Jj5RJAlk7ft.RkcU2AhqrrKodQkhhNpQ6076PiIZ7kwA8IUGn.q22UN4Y8GD7BS3OhkpHV8gjJMLhOQGydIW6dZrTLyJy_pJJcM69lZRN7l.v5AIy2stKi3hTCF.YfHIFlnd4eM1FnMhf9CUx1XsBYGQuuUQDCNe8tCqRaBz54a_as7RcCbQitjobqcGDqOfrivcfHOLk2u558Jhj7F0n3s9EFseB26LeE2xqUo8KiW6QZxjomTpOqOIqTNZ7qs4r9mLGqib5IELBHaMKMuP47EEPR8Bty1oGsPcGauiPwcdN6rCTzntRcIRbsJReIg7JCbY5Zs_BrlPXQEfL9EKTI5WHz7M88lp31GMAKR22MGfjvsyr0fj1fteXOJBlz1f7oLrqbCNUqug8Y8UEAjz9XngNjfm0MnpIlKronqEXiXybVMeCNStyRxrLr6xA5_obEyu6sNm4UI2ECE0JULwvQsH3IoE11UlROJRUzUUxHvOezVQXjZSyrJfnU8krDkPWLDe_2BPtTnhNvK9N1WWWcIkfbyACBfzHQ9.JGiWAep5yveDsJFZySZqd90wi6DAdRayG5SA6fhnVseiGEiIHGfbJuvhzQEsZ5JAIxGG8LmpW3SiBC5XxmU4Ni_.6GaPlBdt822_9tHlSqBVaNNUptbsnBuaBgJhV8Ye6FO__vMtPx9RIFguZYGPo8WGEh5uruKoN7AMDTvO1xt8SmdDpvBUcKdTcrvd3HvZHknbTsZQgBF3nxRfGvHfJx6XU_HxTzr7tG5p1p4.iR4AtifKtb61zELkegMM.l2ifKsMo1CxIW2B9ebJe_BCVKI.5eNfjU3yX5A01vVLL79yhyg.LkU84HO8QiBllojwLgz0JQPU_KGU0hzOxNtbcnsfkyCAanzAYA1t8AtzY5vNK2G8vAkEG8ZNrspBaEjqyxQvsrb5xh3RYkUCUb4bhcWbl0fztiiuNDzg44A2itvj_DN8gzg4oNsZTwjPf3v2c_Ha7SYOznbesGLL.U5iNcxOscBS01Ev08C4_FoaSpR6f9YhJpeIOVQ_bwpGbjH_ftPKMQR6uUKI3maw"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=92e97471dd3ffd9c';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, "\/?q=ci%3A3714957&__cf_chl_rt_tk=6pquO5HKK7acczkR7c.N9B7uComW0mG_jkb8.Vfj9K8-1744363717-1.0.1.1-unwpkIhvg0u_BC6sfgWcVuevrOgLi4P1fWmYQPmF4kU" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>