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: '92e7e85b49a6f8f2',cH: 'Efo5G11JnDMRSSQ0UaZfHrkTyasppTmcYzbQAjmi9UM-1744347493-1.2.1.1-NXyWgPz1cRScH1w3uqCAdv0xEbrxV9qzcZNW3dO0suB4FpFD.57VJDSOQlKiIG7s',cUPMDTk: "\/1206.65021?__cf_chl_tk=8THd1gwCqZzMJ_90H7Qwe593ieiBMWeB.QIluLON2sg-1744347493-1.0.1.1-EIfTaBIyFnuW0eL9LAS.asFIKc6z5nFE_3W_83bOj5c",cFPWv: 'b',cITimeS: '1744347493',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/1206.65021?__cf_chl_f_tk=8THd1gwCqZzMJ_90H7Qwe593ieiBMWeB.QIluLON2sg-1744347493-1.0.1.1-EIfTaBIyFnuW0eL9LAS.asFIKc6z5nFE_3W_83bOj5c",md: "RWCnEc1tGfPE1JNBxQz9j0qOejvbQRhqdP3otuY_EkE-1744347493-1.2.1.1-X_FvIuQ_6SHrLbcZ00aaiH6k6Kjq5..8.xzqi9l9pRj4epPSLSdbzVjS7SPPbMqG5tlsuXPn7jrHmd2sCJ6bwbnpGs30oBBqeItXSWpaYrUX7R.MnC1OPCQc1lRaWqwgKvIV8no2XLKo3G9_dWoYlhmPMZAyDiYpsLknc9xnkUfXOk9DXlmL.yWJx830vYvKyZGM81Vcn10RFNyNVMyBYmUhLlmgunxneNK7K8XFD0e4eOeNF3eXTZCuu95B0f5FY00tctRs20.JHYIQaCZdC4o79J.Q0kq6QVCYlnkFK0cpENrrKARh9zw0mP6WEpFovu81AQpNpKrCIRuMzOeBOVNpGOnh_zSu99NCwcg_fw1jaOL3p9ZEvnKtoU9jwPygcbGYykyR53qv3pK7cX6XMCNNXtsw76Ysvpmy15Sf2oWFH_F8i7gGQsjB4jsLdlOK2rx5PAG7P8EqvmOmxlWZGK.agAg1S.rQubXnI8B.Z4QkZcihiLBmasoKvt9UcfPH5TqaB51GQNEoDeye2SgHfnay7dOIy4TmXki1rOOCgull0G8kXEj76DNZ9Y8kZZdQle1IZrRikzdLyuOAsY_JqQMdazjEg0eF0ix0cMIzTt3wOR77dxuUYMGEwj8x2qgIZlSCZPAOeod.ubCWgAtvFYQT.cDrTwklW7jfEHEaMKh.DjXvBi1HUYQUXcrQjI8ILQIR9M2CqT8LULKM5qJNVKAV388c5jL68VoevkwjVeGVmYpgZ58Cd06zW5pxGnmI_JvXvxIu3ebKWrDLTELo.LySAp4S4TIzXO.BtAfk6v8sPEUBfSEAFc3iiF1XrrppXd8ZGTISZ4ZJ10hPLxqcHNZJ2s.P_.iL0bLJ9_84scsBJLfHyMnenUkdk9oXc7QkpA0qYmtPcKL.9oMX28GUYQOzG75DqHjqTIFmYHQA2Kl.BGIB06DOXp4EECwH0e.j8JUsjhZw15f1Sm9LRwihLHSkRP95mjsli_JK4siEZKj0Se0QfC0a5JZPi4olPL9YhKZiI.V17SxJ8lSQU9uDrakV74iySKjcRKyoZurDHELS7IcxiWCo4iG62P1LGQk37MpEJJnpCV0hS.UIeIFuyukDxC_8Zp2C4HQoU0JDLK9JgwMCr61ffvUJaSZRdxTf4IwrMroW6qSk64xZlR4Y02TBw10Y1dYnKKtqO1i.dGHRtPUwQr8aPXAfmSrlNS7u",mdrd: "mtlX5Awg9QqB6s5Nqm70OGOdtxs.CKXYQ7oTzhVhxo4-1744347493-1.2.1.1-IsK6IjQjtdAWe8Vbu6GK316nBwPxE6EoUXRAiZxXM3zxXqRHppro.fD38J706CNkkVHtWPPS7O6c2MQcNn2KYKxYK8CfGz2atFMqe7hPqnxgw9wYuj72KRU.0nV2CAwROgdvO4.utckdBvMYxr8rn.qN5mbar9KzE07_wz173tv6uvaNsUxM9RorKuTMfoBeUDg3LwFLxCGGIncgTqCnGqzqO6Np4XWeC10cCy94nvH9rhIuFB.FRsJZ3PA.aMLZK4Iikc5FczqbcxwrfsgJYSV8wCnPmkhbHAKs9FxHPTl8xMXygZWWMr11CqG.6piqnWOLp3H_7YUiNabspbZDrksKOFKzZquh9Fqb1AEh72bzDshLXgO_QKhUmVxPCTBf0YYH.3dGK1f7Ayri0dHCO3RxUJSMjZDq4mmSgNE4giWV8MO8kAPp.DO3LDZ8Ss_YDl9M7wP7lzjlscuwDoj0_zuyn_ld.O.0LZEWo6rIhhlLUGJTkaG11iADGm.mqw0VUSormWTqJjkPcYWbdk3vA4Jei8wetFPckO5ZXedcpB7xK7FS8.cHF4GFiFd2uLqazVxjpflQau5OZ5ojtfSlPdBPNV.FlE48n8uqR.DWCc2n_pQ3S.rboaBJQfcqImmrZW0nXlaUL.tzfPFa8f8muEbdf87N5Inl8W1f5r7zQrH0auewBQjMzGO3.V4sN1VEBTvEXLGL4CHs8l_vAIk.sjFDtw3jMtMQ7HVKl4zcSwxkddBabt34aVfuZlmX27kC2IRcBVoZDIOHr97x8iQORVszDKNWT6uWQlnJ6Z4arWZvdWgQcTJE0ruVvD3HHbINjfoOLIPhV4lDZv1GQg6nNbokrIjE.i2jKmcFWXcJSEy_taBTJ1jNTrKICUaU5ZTMimRHIlBa4fgFhEj6zPDbPmrJKGq5FZhKz5xsmYnQbo8ZW0_ZsUoMMk9aNZxpYdRIcr8XRz5ELRmmazcn8vMGcI7_elOsQg.KlrBlPvAhh7jy1ndscjaICgy1UpJ5k9bVjtMoqxI3BCv0QTX2QMLWNTmdNTa7jnmikRUOJ0nleaQs63mKb0Q4aObljnadSSTU55F3lA8KdOElHeHmjeLWcJ614CuDL4HoDsMWfR14oI5ynXioNH2bYtz5fxzVw7.r7r7omvdvTF0DDh6tG_yx136hmGuwuYxizOcUq2ZxZAjcrzenDGsdzgKPutwouNAxpb.BpSp6BWWp3iEY7.NCl7aYNclaDjui3.Zi2p3zYDhm24qVlWnaXYKEo0adu0fOwFnkrYoohFXJ3RN8lUV4.KmdUeLIy2uGjzWENfWfoEFpb45T2dC.WTD4LLzEWBG5sZG6sLh24V47yMvXnUVA32uY29tKYmF5idwbvtYooaJCbTgzFYxYtNEfHNcdssLoa8_.0awVHY4roOxUuAoO0o6Zvx6AHZxOLPni3eL5TMJzflAC1zXL9alj2DCml0tSyKk7SxSEoF279C9nC3byQ7N7iIkBI6lFGhgV6naQN8Qadt_k33dWorPhE9ScwGoA4PLTdcwHHaUq78QHMF.ylUmNyKSiGvLXVhufMgD3UIfsDnWIQiOESay8iPoy5zmY09dTtahYN77vjHqgOm.GlCAa6kxHFnpbmdYPHllLjvN9e4q09ZajU_hx98sdYzx8Vxg_ChWgCWOBjAGMEOkuv6eBdFhkQ6F5WKkS7tBnaUemhLeVN2UTfWj6VP382vBu6fOAHqY9HlybFYqQUDDpna3_SytoWeCFmtNIDnVQaOEWqiOXuUaCbhBflNLbS_wqLdzFUfhl8a15rnJgTSo793bfW68JczfPP5yYgNoJznVUTn6.VkZZJfNj8U8a.gXqDOf40vTWL_1qRqgTEWg.3wdxbMtAspBQXbJNLDkcE5vlGUqkqCPcgFVOZSsfN.OLvHJtWhS3IEbVc.geMTSRaJkygBD07jNiimdmliP50xOirN1jfJO14GXmrHiQLeKKwsswWoHFnRrnemDSK.oAQ.DT2j0_ahv5eIm0gaSN39q9Win6iHg8EjAX_CpxLGsl"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=92e7e85b49a6f8f2';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, "\/1206.65021?__cf_chl_rt_tk=8THd1gwCqZzMJ_90H7Qwe593ieiBMWeB.QIluLON2sg-1744347493-1.0.1.1-EIfTaBIyFnuW0eL9LAS.asFIKc6z5nFE_3W_83bOj5c" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>