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: '92e3958d0f49ce3e',cH: 'gTTr4IRxn9uA4SMG9kK8CtFS0wzcQJ_R90CsAs12a.Y-1744302158-1.2.1.1-3hGL93dZK_ONPECSdhTnF58hwLO9DGHolbU_HxVFeZp4Xdj1iZ7IeDFfqyd0MVKq',cUPMDTk: "\/?q=rf%3A3058288&__cf_chl_tk=dmFON12qGgLr8ANf8D.XCc.I3OGte5lAjr7YQtMDmY8-1744302158-1.0.1.1-uf37jrpFVDZRryzGw.oZ72YwYwYvAhqkaahhpL.dTnk",cFPWv: 'b',cITimeS: '1744302158',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/?q=rf%3A3058288&__cf_chl_f_tk=dmFON12qGgLr8ANf8D.XCc.I3OGte5lAjr7YQtMDmY8-1744302158-1.0.1.1-uf37jrpFVDZRryzGw.oZ72YwYwYvAhqkaahhpL.dTnk",md: "5h1IXa9lhkrSXCkeGuRDYYzN4RHCnZCd_K1w8PNY_f4-1744302158-1.2.1.1-4js0MLsHMT9sLJS_auNRgKhO.k5gAACbq1RnZaVaybltw3hNMc9MVjPwMkXx0aiHyY0sIgXTNObo1FkwFCe92QBShBt1AHwOtACmWKKg_TOV44fvjVlUVgtNTs8TfoT.tvFHFX1rvNWi846PTzNf.hpEBNeRgzqDxMyxfMN.XWeit.llohNd.HMp5R_djs5rog7yv_ggwV_KRGKTzcJDw5imXNzs52SnDulqk6ftTpHBRPKpSOHvcU12hwITS..VexPQIGHPoHx9WnFzsq64r53Tgvwlty075mb5ht5eTldnbU0IZmFw9HFDjHiq.P587QUgUeynf5hIld.u5kY.LidUjQhbrmi31MDT5KfOhK2Z15mx5tbqShYVeqcj2x_aBf_wsAbuaqWkONVSo13pKK0x_z6iCpxnScrT8ss7SI1SZTNGwDjU8Lazw.wmd63I_KQgSmbuoqxYEsCRJ0RNj9vNOGVemTL6YCUdB.eOSv.nw6OS0s9I7OZL.C34SvkN9eChA8bpbm4Vfjl8qv157i_eIC1Ld3rlXZ_SatbivBOmlCC9eJE2WdOAGlh7KY3FmTRez5D6KTcSWWgBjJcN9WUYmpitJ6JOvmec7DaBbN.Bp7kfS12mTeIpJEn7hJ2JYclu76mY54O1I7_ZCjrnbHWEchMrI3LDjQcvrrh6awth5MgpVPIuqfxYR7O5HOgcebIAENFhPjdj9xryxlNRjvH0ZVb3jscoDOGz7M1E4tdcdemkBd2MNndOW0nzF5mi4InhA_JNyqjv31toPOJdff14kYsLsC8nAynNayVDm.BH7euMn3vlSvhOHbESejvSDa_3hjdi6l4rF59RamIaEjEzrfrFcjfFGOwENl2i_7yH9uqXF.vLNlP1lhV0CCcRNx79TUVK_zDjK.nacBjo6eAHaLlxu0050YM09cPOCV6PTDmcdyuMeHe3dAyi3oBEwqT0DYduCsZWKlgBASYH2Ftm9neo1MSInKF0qR79L3bGwtN1ag0JjbjbWuU6O_NCYUsExdsaLpJnPYD4dTUZ2ui1EaOc3egeUqvh8KkGQXAq.qQN9kIs6ZOWAFKPQim.Pg8hnmDBtxyMjKKEaKAmlZYCvfG6Fr6ytaoXVuHY_Q9S6.XfcmSdvFYIrE78nSTjSTe4KcXpy8V8QhLnDd76in5PRF6jchuOYvp9460BRMoQ13y4ltxSvjfHbj2Djj8Y",mdrd: "Vo3WIX5NIXtvxyYkYDQ7zKsVBpscDaipsx6f1C5VXpE-1744302158-1.2.1.1-nY9h4.YzcKnWGkor8o3R4OUsK5Gs2q_.MhKO24gEWdE.Opd5TKAuCJ3CDi4w6pFAnmQoNTwwGM97QQmNfqVYupFJ.bDxbY3S6WfVj9l9XxLRK_3c8LyHGbud804NyU14n6qoMUfMRya_btICDPyJ1J53irNTCw5Ta1hEn6gdlT0gfjxtveMfpW6b7XZ9tKzPTfSKLaufoPU0nqkzn2Nz.GVFTt8NUZGB_Sf_M0Wn53at9lbmfDl.kxmnqnxPTHRMv0yBdTxH3XdfUXrKmt3R6RqJtEk1xAIB3S3p59UxyMVjFr8..ksn324WX.1Npphp2404uOkVzFpAQ5a_yTk446biLEjHDPcyA0t.nWloDQRUfB.R9SMcFDPappsmL4asp8wK8eWz7ZCkboiOlRqn_84j4iXPL3FZJG8mLZ0xi3FJbDuPL1jK5WgNHswZqvkOvmApv5a6CoOT52oC5OoOdditnkbWkaIeKPWqa7OcDKDbvZByYtUiLhk7tzdF7XWOWstIjO6_5HBpcdOq4GFqVGLOfSFejof9XWHpjnV3_KsLFm3SeUEf29WvOikuZIuJvnlFBDG0vHlicgGS3iv2EQ.z66YXk3YMJ2STn6sIoc4dTPRyhjdJiomU0bj4sCwAwCt9p9oTJfSjw7gWZBWWT3tH9LsE.mz1Mrim6S9YY20KSxZ6HCSuVbCIdaRnIIUMK3UETGYHvXUYyguNJc_454SsmHRRvlHtjGcPBDEVY_ocTBSoAVfUtUKtPQJvEQp9NKnI87ZbduzlQ5Zjw6N.Sz9AsopfWO_n0Y7y8d2Q4VFCmU2YGnWWxBFHTIPibSurvE4nJx_vlqE5P4FvWBw7oT11IFypMaLosMdL4uREC434XP_btCkgX_EV2xO6aG5j8zTVaAT0P2qeFJLGqrESjQYeN8vbmQB9k_RZFu4hKEXBTFR.C4hmiMLtSJ3ALGmTkvV3zIZFE0AipGmtYFMN2D0CFHOYk4U5aHI8dEmF2954eCjFocfKsxKdwKzwO2bxPPVja8CkjhpePhRH4b0w8k0vpkN9QAi56Q9giQRysVGzmT0iYUiSzQBSmY8zRAGxs8L5xw1lrBceZkbv9NKXDCMY6oDjboBbH9nt08zPwonTi7lKUXvAwo7sGsFIf6Jr8o8WnWK1Eml3qeECvzaZpyKIr8zfwzyrNAVzE7VB4rAYdNUinCIXfWE6mNHgMDpD1nbacD75flVrsERJY6WjYAFy4ucOQ1rXHAn79CHpEhLqjF2ANBT1bjxIucQ4mei1NJlDqfDVg624bHxE_Hhl4nCaDacn8D_oJeJOc0SwlFoxZ8tTB7_lZGgw485B0p3IN_r7D22BekABmkbjCuK.bV0U8X7yGn7TkfCz5PgzPp4dxKUsa9aJpR0LmnklCEVnX3_gCkmxY9shrzvmEYvSaX0LQDMRtiHBfdXg9AiVm226v672GLQfAt6pw_Vx_iXLu0f5smAJigjNmO3LVmNEjK98Ve9a4XeCwqEhe03JeY1Rk33Es.9biF1keSGBT.9D1BENbSFYDz.Z8MsOFBOgC16cKZikBwB_l_K61pt0CbtRpOGDEfJrH_QAls.h0Qpvvx9HcWYMuQrZSML0bqDB4kWEMHuqEva9bVkWRjNkc9vxgGTN2LfHQU989UDmFGIiD0FjX1uy9CdYL.6TDDImtjiYP6Zfz4cczj74ERrHg5WQwqqoZp8fuCoyCNF24w6mjLYU1cUn7ud9YP7OS7hdhNGYY6T4dgyG8tk4zM7i58P4CKKE4pYeqCIl8swmSIPeKYAXlKR0FDWwU5HkM3A.N2yMMB4rHZrmIGeDDx7QCtJeBANFeVmeUjdYuLOMBLyWQDq48TGb32kgDOmD8uSGf0Kb0Px.RedRxcCDKLBC3whiWWmM301UtVckcNz4waFEY8FTWTyEpfj2i3j42l2RqiFDH.AUD4TlpDAU54lOA5cVSjm_lRaF1V57RCPhSM9eBLmXVJvocdTx.VlU4Bju3SD6IxxDH3DJnym77cJ7OyxKggWlULQah82Acg3qKxzBTxxghj2b7BWyjvCtE8Jm5w"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=92e3958d0f49ce3e';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=rf%3A3058288&__cf_chl_rt_tk=dmFON12qGgLr8ANf8D.XCc.I3OGte5lAjr7YQtMDmY8-1744302158-1.0.1.1-uf37jrpFVDZRryzGw.oZ72YwYwYvAhqkaahhpL.dTnk" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>