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: '92d3e4eacad13d80',cH: 'm.feG065RU.kfyqZDJcHdHDcdsB_PqWFqwAvyPPAK2A-1744137637-1.2.1.1-fcdH4l05TtDe1cJF.F7UWRQC.1dwcs51ptc6ltA4gy1bHbCpy767o8Z3FRH8DEIj',cUPMDTk: "\/0522.05070?__cf_chl_tk=eDINSl7APh11HXPGNOf3GnagnlRpk.6UNyV_D9U3dM4-1744137637-1.0.1.1-w_F15g_eOo2qlZRda6nKB2JlZs65b0mKiAB3DFYfz9c",cFPWv: 'g',cITimeS: '1744137637',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/0522.05070?__cf_chl_f_tk=eDINSl7APh11HXPGNOf3GnagnlRpk.6UNyV_D9U3dM4-1744137637-1.0.1.1-w_F15g_eOo2qlZRda6nKB2JlZs65b0mKiAB3DFYfz9c",md: "XXRHrHTsCsRLX.g.w57s9mh4sWKym4GqsXjjxoOgYJs-1744137637-1.2.1.1-SexsfyahhaFM5abmIlCGmeRr17yvCfoNcQmXKzK_G6slVMbagpJZDnE88uYm5JCBbO8gzEBOjjfryyNnWGw90d9UppbMm7gC2X4eWk1hZlXyzQjRBc5Lix_DwYvBcxKsXaz16WcGityzBPSFW27QlqUQAF8GP8Xiv4FqJEGS_j.wb3OQJIhk4Lb5iBnckr4wxWopepWBX_.dSvAPhUdSa5ZAHlrQbJvdjnxIbiMC5o0cQwdftTLpMa3QF1mr6v9YX0AryCvjIMb5WShEKi9upza0qiy6dC2fjOjdZCUlKtdLdl0pt9OJnozCgiwfFFAuwmtypX.pQJOQaVIMc1LxDXkYNVDNzFLSnR4z.N4VbvWbTW5zOOtT_6Liw30z9fovXSjS.AG.aRNyaOe8qXih_npXrXoHJNjiNG4kEoXpsp4MN8XTl7zC.Vx2cnFc9HLSUVWPD6acmGcBboKy8SynPwZRtvS1sr4zeRt1.ZamZmvw0tyzAk_mQGfD3wSTBjXjOYrHpFLMJaxGnvcQ6RfeEO4l3gK40nWN30SQ0zR14LUrj0TmZwNDAKAVRH29th4afpz1GRuHxmQO2U.f0GYvB9wqDyh08jp8L64zqVAn2gcdzG6A1F4EQDC2.GTqFIzTcXL1SPiNKWjaZCzZueuzYFJlbFKJvKHDd1Z_jQZgha28sWsVTnGolICG1L5gGhg.PVOJBk7HFE2OKz3aqiXuoqRQkSSDmF09G6RvjbtH07RzNdWCPATCczD2xqEt.AHZ2FQ4VnzuxBWbi8Fevu1ySdpB5dH1nggStSC4wW8ynIHsMmGSRMWZerhRbjh2QqTxVPGZNbc2tHanCdsdfMEUh9snXSuNeqnvTI2XeLbDk3Hgk5g4nlXQOgo5dBl3uRvxX9GozMjj.Mu6xbD9ZnMTuWhbG5FdfNlCdowXMsHsKd5Bc2AO5MsBJvifsZZAsLPU..hfbeFjFWv7a92tjZrJA1lVXx9fC2WWl8q5plUPgukBcasgW1kDct9MkCDezg20gCPxk6b.GWknyxLNKjz9DkfKsSUCnwSqfjWaZcAOP_KcS3Qf7bNU3IRj0QIf89dJ2oU5ArxxqFr5u2NwMi_0fUDtKvFa8ote1NSawTZe.8N.TRXvQMTbFa5qV.qnx2QlobTnjKDffSrqL1jvl1LyiVilPPYfFnFR_anEIJj5y2bdhqc2getgiA3un.WkO0Uj",mdrd: "47TtiRg29ixuiL6oKCQh1XpIuuBxqbQs2OWLBZjWnOU-1744137637-1.2.1.1-hwf6oXwuC9seQLarrJjQbfly9GxxTyoIF2dHQshtEbdo1yNv4puss__bntDgbosQb.zGjZdrn0VwKnj7vWGSuqyysm_p.mgIz7lYmdJzbTlHccRYwhOX9v98IOUUx_D5_9fFAghcv35k9OUtN2QbUArs4C2n5WMQtlyfgz4w46ZAMqOocPl1tKs1LFqztORrmy9y8kYVx0WhVJMgILBRPAZkGl40aPJL3pV0KqXSKAoHGRu73ONuk9ezJJggZPTHF6KKGSmbGxL4LSOnRQd1VJTxUKjMnBGQbojwL7pFDYKS4MIikJK_HFxqPO0h6B_6qI03WJ1kzifJcQ_kPGnBBiD1anMwK_69D0oiZIwFamHhltqkfFesGXIVXjLzMbO_p0kQT0xnYBQFqrdLaeRte3tVAJaNfY.kqeTyoKjhpY1CF8aRGpZ7r77XKxnwMsXjd1TwKlxfMlRBZUONPg8D5HLPQQPs6sN86vNsIY7rrUpEq63jOfjJDK4m2BJWDMF3SNHuft1vhj.IDCDerjvkh5ohSkCauruhEZY17IAvQEqUrYnouSuNSAX01pJuHifJovKPZtFiXBbi39sD4S8VSqI8ZuY0qXw.k6.lXR7p7UzptEfGh3NMfTX_aUaGwoPfN0QTlctZ1uznhgslhZSZvbAl4udDqy8MbrurDUfe8j8fViWktalPkjhYo8PzbNVPv4bOTfBCYM54RahQANqX_5LX1XQd190kQ4J4yjCxo1GVkoC8AMeMglFGYUa9b.h9.6t0.iHJ3bskVWB8YIo_yZ.VDGrJ9BqsOzgCBH44yOh6hQ1pbn8qtYmvQaB1BcqSToAHQ5e9JtV_Mbn6KpvYxjT9WLYQQLrOJZEMw_KM_JqJa0v4TbJccACLV8sGI4yQw.FAimZdfs5tFn_9KjZvqHRWx2KqGjFfvH__SjGH5.VKOy9Km2RRVigD7GfKtWPptFLSfr..JAyoKO3m3zPqGm9d7O_Bsm.ArjHdBfoBRgPlmL9y4eRhJQMCr3g6YYLppPeJwRK.EozYcASOHWmvbZ.Bc1XEb35Ame.Ri1KKlb0WK_eM_YpvjHVVIiJLSXJEw4GfCMuQU2pfJJbSQAac2N5kpQrBrEz5gVYSRkpesK0Vrf9gSOiyJtVatmygJ60eugrdJUyj0N.yG6mDbMBfyHTXOVcsT9g7A.Ey.SwIDWlkiYaIh54ueDvZ.hx13G4ZJ6KGcQ6D2CbNhLMbNpyIvbSBv3EXB9D0NkChIbgQBkbFwT1HjZplk7fcXEXnb_x9ATtQua.5GJYTnp1o9IWFKotTZsb5lUDc2H6FVCTPo_SHkwWv6wxum6W6eid2OExBu1Z5ed9c6ZTqRJ3W1ybg.NJNrUgeUKYrqP.0VDEAu5.LwG5Qpx5UFLeks2AYHaiaU8XDrzPsm6_x7s4M4Ljq21DrP_WXz.EWu7vOx9Etha5oqry.BmFOP5URyq2Oyr8MjA6UyjzKAibszjo.L66iLstPm2Da_rDuzEltpA3w_T1T53rP6Xbeh7WVdgvB7PRS2oLXLfIO3vOTWDtZRWpGVADPoZq9prPH0aISwynfmhbDnbHXMHwfohzQ13_GBp2.K4vSZ53EJY1.KfLoLxgUtYjS_OihFTnrFiZtUsEKfl7RvjcP1pOO2Cjz_FNcrbsTgqIGeEyMHVsS7bgTC5h9eWtqEmubV9XkLdakn5n0W2iYzdP89pkSfdWTuhlJY.CZq_qHo12W.6q95PGplNI7jLrwwKJj1YwAzJU9yzgwulOQsRdpPe8Rg34qO1vphekTSgsNPMSrtf5fj6cT_fm4DdChAYMnddPSMvqJUKULSMu6hd0lI9h3NI6SPHuF_7x7aIVCqvQMaS34HeceoL5jMz0xGkqS6GuNlEqFtCb4qGrmSRhXFSnZ.ciHwnnHlzO6eVZWVXZt.P_VE_EgEtajZIu.1f86gr17O65v_DNJoRIy2RBt4BsSE47I.fRTfvXdTjn4wfoIozR8ifc297ew29HeD7LdD35kmdcsF4pTVRsAmo1Uxgf95IGvl2HAgYE3"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=92d3e4eacad13d80';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, "\/0522.05070?__cf_chl_rt_tk=eDINSl7APh11HXPGNOf3GnagnlRpk.6UNyV_D9U3dM4-1744137637-1.0.1.1-w_F15g_eOo2qlZRda6nKB2JlZs65b0mKiAB3DFYfz9c" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>