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: '92e779d9aed544b8',cH: 'wbCnTlTejth.d.Pg7mTjPh1L.qMmtKELIUKWge3aero-1744342967-1.2.1.1-BUDWJFm0RJoTvePEzGqh1kWZHDSKIjFRd81Pwmk5W_GXaya.ST8Km3TADOjVbZDo',cUPMDTk: "\/1314.34106?__cf_chl_tk=gL_ZRlL2YO9nbqZhLwv4vpRKEVJXwyK9TtQy8n16O54-1744342967-1.0.1.1-nZouAFvnkY2gw0xp_9hu821uzk9_QA2CURndneKrjJY",cFPWv: 'b',cITimeS: '1744342967',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/1314.34106?__cf_chl_f_tk=gL_ZRlL2YO9nbqZhLwv4vpRKEVJXwyK9TtQy8n16O54-1744342967-1.0.1.1-nZouAFvnkY2gw0xp_9hu821uzk9_QA2CURndneKrjJY",md: "kX6Uv2YkkrPQrMW0zCzxtqVdIhT5w93Cn.UnSm02IJA-1744342967-1.2.1.1-GjETtJuQTOyok0dm5yhYy.Ko9FkEHkEU19cNfy.VyFDD_9yDeIO0_L.L13rdOSzLI2lZ4PCO7knvE.czL4Ys5AyjMWtaM0_SgJvpTSbzD.KOaUZtpSPkPWcmW6fqkaeBfVLRk.OBdeaHo8aq.WE8hcJV.U_T9ubW_PrYTPBUJ.hnyEQ.W_kShFFa2y5s7It1oP95CdxsSsu7KPuQB8snTCaKCF64YogCFQdx8PL7z0qXnpupLEu9heuIdR2KQmxtVHWKiMNlgZt1kilA8pIHGUd2AwOcLGCrKZiW5UqelCk7teKEuW1aiZShvbi5bTYEQ8PZm1d_vg_5BL8z2mlZ4.TLEEWEwbk2h.w_hs_nwVCYWtn447rX6jl0vA266KtrUFU6AAKP431VzX3yvQP8jAVeZ8yRI1xXEjYWz2.moMAr9IY1GFLe0TTYu6wY5rBRAUetE19qvB4ES_4XqxP.Vix39fc0hD3YhnGYeyJupOAcg01Zo6lnbRR4XrZWQo3C1I9xaEyJEQ5FimJgF8jMpZrejEfFiEPAED7g8Sj_temT9Oq.n60TBEUMgoXO6bGK_bHz15p70jxCULymJ6vkWDC4GMl0Qq76yxiEklIQdtdZU5jscNe0FHTRWOfyU78W1Wn4Y5GDmDhs23UvpKn_t2J1.JE4GoZuIYzIFaIffcP2ak.4Jk.YFI7PwCETOuvMZ2uBAE6nneKCHox0irNuNvodM_2vbnZuv8NaS_.aUdtUPv0H4dUQTidP1PjdavRjHTyGELMxJmhVEIoh9WBbd0rcF27uMHuaiPoEmqTrw9WoOzPxYYuQ01RsIzQ2aAD80sO6NsLACuNudchakHNUraU_oUAkuWcdOY1yQJFuUQTAvzv1emstzraoxkxdBaeITrOSCD9ksE3DABP5AFJRNN3HmGLnlGrsCaLUUTXH0lF2rraqzl7NVo5NQ2h31hNRdR_3IKwMsvUaNhZmZjNDi59KQiSG3GDZCzK_ddc_gSFXCUCWCfhhXytPvAofo_EsJ58ir_nGvK6cBJX2x7sM43g_dWdSVVhqs2xv1BJj4MzOKjnVyPlhZrnjhtNGdyfk5BDPi0uPMxr9uxurbncId056U38DgWdunV7l.JM2EFS34PhouxoPkg.InG9vHYhUs0RLiqDv_dTUGNqjGg3NQ0BYQNRmViNWwhsKeNoNY7YijaHzvH.93yqvJ0_2h9ck",mdrd: "ytBJ.GPHwMgXsUpwinD2Zcy8R9plDvVYKDA0VJSrVh4-1744342967-1.2.1.1-zYkREDP1Gr5KT8UJxzpPeXYuxS2OkR4Pdad7VBnQAZEgYKO6yIcsuUUvAc5fP2jkkTlq0lR7o1BDZZsoSFytolLzGSM_kuY3IEsZGqrbfigyNX1C0tXQ890Sc8OvAenof4DrjWr2cdkJyVKUNLk8f.sS7wDCUxyzjuSyiqNdJk2CcyU1xVRFFbk1Sreqq3_1WCqgtOBbZbS56xWu8UZiHMuD2znxvuvN0V7BIYIZI1x_.4tr0cGCgLo8KIbXDpsdrU1obs8xdQEH.PFFsaoNtCplc65HOwBlEmZNksL0vXd.gYHTugTE_8zamuv.grc8mSrwhJamvW_5R7UlJUYGJGwgNHw0dTV0AFqPWiatL9lKZ55E_rZhHYSFtPC9tA5YRi7wqiC5jOn4bP8EDFYZ4XgFxL4aKjHtJz88UjH.0x5VkSXmg6N68KJk1iHqXVJaU19DB5ikm3IpfFx6WGhb7T.sHLnQY1ESpcBF6aibJniWbIaUIzy9tBrSZLCqPpaUizyufloEbZ54oz8JIuPoDTfhsuimcWEbJ0mDT.AXy7F9_ywh8K7CXP8vK7jSsLu29xA710QlT8y9qZ98bh.XApAuHlt1WLr8AHAiutGPsnF_KWWVJ2PF._aQSLDUBd9_UkjbW5FDmQOE8JvFwT2p3cHjdjXcpBGN.CG.dCd3PBM9G.I2T6X7Z1Yvbxa9894Ew550e6ih5XCWZdpG7_zjmMFL6qycvBJKPDw_OZdocu448E0DC8tiWuBkStOaAsvVLkP4bOrfnj6pYngb95EGHcxrh1THahnT72Z1vBsGbFOVU9YdSIXVRhvG5K9IlhZ5r.zTA1CiAeZp5BVSEcgBE3qvriNBpHUd_qWZrkiMSZeFmbCH2TS8lYXveeWo4qBZkyNjtbSXV9ID._f4aZY4S95uPOMklPTxueK20Lpt0gnzcmgUK6WcBvwLooLqpbLdbht.tsEV_dHZgr6kEz4BuOb2_DFuPqCDbOtFidBddWnM_r5X5vMIkdAOpe_vKgkSVLJVEIeYCjlBYEIUas7Fk9AvYliayZaDZkI1zbZW4DYlea9X5jXkS3NF2_wVr7FkFWF444EMMxtU0jZEIjR5Fd1tHHMYIrpWD7LTRE8QKpQClGoMUngZtuvlya14N_t78lZUopa_dDLWmtwcFgU.fxxO1SgIoAHc5duQmwmMlOuaioQm2Gyt3GsqgBS1Vxps9uy7NAMQvN.jnnVjX6fzV6za383vlUajm_3L66Isb86m012ZZkphYDGRMIGsPI3TB.orZeXv26wJHZwGPVq6v00sx.gkrIvNqqR1mKDslR4666WspoNDLtuSq0ISE7PI79F5U95i7IImlZOaAYC2xSZOqFWqGL7NvmkucmF1mibQDWEqtQoLzkuYBqK6GPh.zqwvsM8QaHn0penC5fQaWY2M4i2HrQlxxjBShnyC0dUKjk.AVXAoCzNXHpK3MSLSQ_CktsM8NpvAsmBibqhJYz3Q35KzZNApTvHWkvDFySpZsz450jejL_HWEat_AKJ_OnS0UxoJPsKZejOc75eKwVrhxGljH1eyBfAu.mDaNh2CQGIMqc8qT.eq5UwfGGiu0ny0Cxh1koz5bN.0FtgyDrr7eJKGSA4KSJzso0S43zszVtFMZ6aNQT1I1qrSjNsAFudSHNzX7uj5qcwI8Sx7LSXHWwzv7XBP3iz4EP.E_ChbdVqhqerVrnJbpw_5vvzi3FAnpZJ8SMpSLNJAsjUrUfy3rTdiMnS9aEtVmrMDoYK_xkqfceuQKO23gRxPZTk2XKLbxq5o9rYfEWeht6GmnT9c6dhykBBxTPIo8ejW6RiDx64GKWAOf5Mt1XVBDQIz.fChAGt6wbvgQM5Ig99VYpOeV2pYe5shlhj0do_JyAo_J1UdFc7rpwn7C_lLyaCLbICWOwga7D9Eztjc9PPrWRVVVXgqLeuTLCpz5Qo2z0QJD10IFfFL2Ai0u2kBZdp.6YDf82cIgmSLoX_wPNSsTkxrHrgMUnj4k8xp0Zbegs3iGpLM8VPnPjU3hMmNep8g"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=92e779d9aed544b8';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, "\/1314.34106?__cf_chl_rt_tk=gL_ZRlL2YO9nbqZhLwv4vpRKEVJXwyK9TtQy8n16O54-1744342967-1.0.1.1-nZouAFvnkY2gw0xp_9hu821uzk9_QA2CURndneKrjJY" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>