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: '92d7c56a7d20ce6f',cH: 'zSyvFG3HfW5qizOKnjqU7N.vWlKAVAbQc1Gm9674ILM-1744178290-1.2.1.1-zqGLBVizh3w9Unvq745.WINd1Za3V5ZcaIw7x.266xkOmQEzxjLys_I88EsZKF9H',cUPMDTk: "\/0891.62016?__cf_chl_tk=gFHMLzLJAJcgpDHH4w9JLGNCutDjAt9UAJbZnIcVGSg-1744178290-1.0.1.1-oMLDh.hpTQo4ncFfwZ2O5l8TpA9cbmFLy67PxAOqvcM",cFPWv: 'g',cITimeS: '1744178290',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/0891.62016?__cf_chl_f_tk=gFHMLzLJAJcgpDHH4w9JLGNCutDjAt9UAJbZnIcVGSg-1744178290-1.0.1.1-oMLDh.hpTQo4ncFfwZ2O5l8TpA9cbmFLy67PxAOqvcM",md: "KxF.ImxOxdo4_cyrsCcQV5PD1MEY2dPIzfHQSNQoA1Q-1744178290-1.2.1.1-4PmD8AowXT4Xn02s2mJe.HnQ4cmGn2J5rIHYnvmaIx2HwQXdtz2elooPpZnxl6R2t75tXEq_u_HUvtUeX.sWxXMBZkgedu853UsNtI.OPPUmPnNHpF1EkmXUYTg005_W71uvCmJNpEOf37L62SvAPkUG4G0yfm0PwjWX4kCeLBI8mRuzKBObeqlVEKpCcQ9Cx9avYZHnf_bcwZ8NwmcKb96VmiTRhVBcv6gIVc1LQxWGv2XyC_3dWhnx5xT3vRCWfrTCWdXvqxG7FqDaUj5OvCqDUjfI6LiW0xzNTQVXwUJcFteWCzNOB..SzIDvhsG6h_CWhVyLxjTHljQA__gg2rM7zzWQ8hgCaC88aEoO7HqSsuFEUI._l1jNNxFgTaXGVylJy5P3m3ReG_0BaFiGpWnIsjRDpctMwioyrdHjIs6Rqwc8PVgX88oay0Bd6kgM.4TtAw57JYMQ1JN89cL9tj6ZLGZlAvQ5g7aavXNqQvO37gxjRpVWkklyi.PyaDAdl_TBuMN3k4GHvuCFXMWeNuVOxavKdmCFwmuIE.gH.p8XSatBSsy_mwQqphGUPz7X0_HAE8m5iUm.GtIjc_HSTga3WiZ5fIza9I2vp_S0sispGCtGcaUnFJcQHzhK.Tv4EzIMXsoqrmj017qtDGxinUH0nBNm7qXGg1B.myhlCkz1.0AQuQwckqW0RrTRRI27wwlQEKF0brGvtcea40NNf608AucFP6b54Itga86EFQ7iLFM2dxK84etH3SqiN3Cs4iiFaGvBAULyyzlpVfGxD_9JpE1Tg171RBL8GpD9k.eGu2GL_FXr9nJvPXsRRepsyDW2OSSkQTxSUZCvxzhkotpaBcZlgrqk08CeOu7_sRdtO6bX1iLpVzpQc1h8NCG3nX3nlYMJdQ5WgaUeLU5Pw.McnuyDTPNXAHiMu2SzkSMTSZ.DbXlbPL9w2skA4L2aUs.zhCu9FqDcCcCh8celpcpF7BGP9U_2WWL.fDDR1n0SjyNJU2q.z_LxMClMjt1PLhzcO8NDQJNr8z6hKRrCKLZbS0eVaQJPKQdWcUY.VeeLiJJwOcNYwncDwuqLHTg7Ryl3LDtHlzf9CXTuO11tw9QuomHE_pTV_Mbku_Y4JcsA_oCvynq54eUKGVd1WN.7up_f9sxXzM.5iSIO9jZAB1vVJPf3eXgzx..Csrd8POFlCEcDg4OQ3yBHaXeCpsxL",mdrd: "LQ0txmfYQqpi0MjVrEohQh.LwCdxTCIh3yB1pdcbrZY-1744178290-1.2.1.1-Nq2wXXU_UqRhnuFgFg1qUtXSwvuZsxMb1AnibEQXtMrikzZw1swVGKzQTxYwYgpK9n4bY7S9ALsLQ_r4N2m5Y66F9ZRnmXvXh7ESTM1a9PMaIiqW2SSXIYqh4g437EzMwn14p3bsEJIJUeNKdVgnTrIjQ.LILhthxGLbgGILqUJ6DXPxAiCn3S637A11ZGX6P2DTPqGZfYqZnkACnfvmiOnpBIWO_knEcLFqursLh2AZUX.p9PDoM1y8w1nrKXWCWManFnfA_gn7c8euDovTlAxB2aWtreqoF7Xkc9pIpfdZyKTmMmt91EcVDrLb80vo5l2mB2q42FvA.SoGsO3DdqReKw4ag6CdZ83hzsEwX14rRWh2iCW26yqI4scAMhIioS2GJv3QdQ5IV9wbBZiZ3VONXaznrF5vlpq0BsivqXiZJyK1_9sc46njtxOzt9oHC.stCYbqqm9lHgKZu7805O65n4wZATrPetH_U9rudseDnQJpEVZAgO7N4FXYPtWdwN5Fq7ISPRRxE7pzXTPfvx_ztyAhnPBSxephnuNmn.inUpeQLhxLgMAxvBnHflmXrtJMhi6JADXWiCAaTPMmXItz.sFSr997CCh0NNeEQIo7kOePxQQpHOd13OQYgO7EVrfslUDxCCy5TqiZx5CEN6KVk8cPHJhkuuzRB0Pl1enO95Pg0n1XV9cdx6cxWqWVAs4qfLZSLpBFkfvjAMZsKHAkXlVQW524.4gdHVEhzDbuZVGjTlkuK7_enCLGP.0EVbOWikU84wYXriCio6aLGIid_r578u0YO72IbQmL9VvvCwgK5qlcGaIneszIbW0jcq1.jQV1TXwYJcFv4rK00TbQNrced3vesBCUHd7dvsylb_xer64LgtVgsrwmdor_xmM_lyld2G8iZ2GsyA_MXYcYhYgQvnmSyE9pgjhuxI3pVP1iqkvHJdj1zbRi53WgPGmSTI9b.Qj0aeHp.TE7D1y_Os8pqeVvr094mXSkBn.8iuI2GDIPzP.ciCtXtsoO.04Kof2QTz9EkzfLDJORbx55Fj7KVLMrvNA2vBTj78FpZia2XsCq9a04l8_uC1Bxg0Iw2AcVFQcLffjMzYpcu51sQ7SLjrfIc_f3ZhnGAnEjGeXpn6X9jVTAfC27UI9hJrfBmbPPnBzJKASuWKa7lemmIzZQlw9XtTS3Cv1LND46aaZ3oUTIWwQSxqOVjccOm221i1c6tQjd6Br4oAILyB28jfQRAJ4XIKWR6vtOTzXjJQiIv1RhvQDBCe9G_WyaYrFdxi2kk_3QfI7jckBPeK2BhzcXm7CL7JHzMvD36Lk1eLjDk46GlMA7hMZAKF0kePu48kmCnQVACAVGgAFUAWc4ySdEBxdFZ62I7Jjr.Lk8cOUfZDgKDwrtFnnfxaG7EQf8_8n89gECsNBUhtAOqQJk12GvbY3srzpTI6xGcE5lM2mUw6GqeUvgdWmDxLzwZF9VTuKJIu5RgPWTntTHn5HK8WNgU8wl0oOacKbnSGRoFU2VDEHTky0q4i_Ro5FfTtwYQlR3wFxqNHalBpXMjnfbnzG4Lx1Kazt4XvfBRH0FouU_7qMdZp2WRNVXZl3xmE7o.8AHszA_sHznwPCLxlIIPLvZId_JrxammUgVbZsGyn64Bl0wm62nj2mILyj.668RxQEbykIj8ynaxGUPIPhbtWqL17zoYDzXeY3Tdvls48ZQdCbQdr1g_r5xH0KiEE7WJurNUMc6SY0hIhGNOhnqHKAUBQwJbGAuSMxHS_5QqCT1xHbR.OZjcCeVg.efGAIj9mQLRNqNevJ9jxPFBryOpaP5.njVHhDZH7C_FBMskekUzC6cHPvOGu3B8ZNHk6Vkx4gV7LbxD0G0De34RgYmlt4CjYhwsHm0TX1uIuir8pdRhGnCQD6wxi7EexV2DA.FniaPQuXN3lSa.8je1Wr8jQgM_T9dsKKKdEbnpWU8_PmFDpI2XjOQ9VL5Ow_gWRIJsiNqyPe8l1_Kl_MdcbzMVQD.vgiZa7nHBVoVOAWsBDOAIpMhP6EK6PThBjiTh1HvT6KJ_StWgTtik3qJZw"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=92d7c56a7d20ce6f';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, "\/0891.62016?__cf_chl_rt_tk=gFHMLzLJAJcgpDHH4w9JLGNCutDjAt9UAJbZnIcVGSg-1744178290-1.0.1.1-oMLDh.hpTQo4ncFfwZ2O5l8TpA9cbmFLy67PxAOqvcM" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>