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: '92d44b7d6d5f4b92',cH: 'lLpuUGRTFiJvLz47Ug0cmtYufQsNMsHOgp81KDd97GI-1744141838-1.2.1.1-tObUN9QeN6CfT99W9NAasqRia8RkqN7yzzwMU5SeQlwDMXYiw4qxjjRgcaVli7ae',cUPMDTk: "\/1129.93360?__cf_chl_tk=nmKlIvj5KjuqbSH8n27137fG_M85pD1xihi2fLnWGVs-1744141838-1.0.1.1-BzfDy6OmR8ieSMEWck9_3ld08UZR0behzirqa4Ot5Yg",cFPWv: 'g',cITimeS: '1744141838',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/1129.93360?__cf_chl_f_tk=nmKlIvj5KjuqbSH8n27137fG_M85pD1xihi2fLnWGVs-1744141838-1.0.1.1-BzfDy6OmR8ieSMEWck9_3ld08UZR0behzirqa4Ot5Yg",md: "6eqI2CUr7ypoBmkf5gn81rCUAGV30lznVjGGUqKCBJM-1744141838-1.2.1.1-qzMyKu9KNJl_ZrDT5SJqNBWkA5gzLAWo1.SIgPzgaY3tSvaOS05y3WK7fkym0p4zNek1fRA7VUtba0DPCeDGex7GpMBVEsBdSunOWM8EH6DkGnUS_forxYQ0sMV6aMAVs_lm1YlBzExsIj2cd0Tuudb0v2D7eV8hvm805yEk4YGmQgYQJlbkGxCO3vTh6Tev2TpvWwgrcfiynSFIMA8dsXsTXgOJ5w3zn1rc3Qgy6r7IXHJoUou0PtzYB79_eyWJU3NED_Vdhk3.dVI0PBuvgyO.OqTc4MnKVf0w3ZBMhSxRvbrSHrpXwOzWeMREMscHpRv4ps56rLH_7O_8x_1jZYqdusNWwYJ9HgDY7FIdxsGcWScVCyRMVweZiGGnLKtHBQ7EFDYmJGHALe_QY6yjXILtRbFVgFsyPuDAcpnid6oENywFNxT_Nf8sEGCyvZndElhRtpLWzJJKJ6EpZZH4kjc3hKURs2AALGEoFEOPTtQGPm7Husbvxo3PZo6oZAkKi_Ml3dfGQHB45EGTuU_wOt0MCDrV7JPnIj1hIoLcgWk1IeLqcaoqQoXTl.eOBm7r4H0ny2HfTsM0qjb8JfNJwzptOluCqedvfxZ_e43oJRwAyxr9sXH9JPlgxcUQwJHltrpzKthY69Sdbv3cvYuq0hF2XpwK0ECRMrUE8D9HOr627GQ.r832ajdJHv_hr7qAqqefyHzL81SCLhkyLKTW.E2wu5LT0bOjYgzLR8t9Oqj.mPRbpYHRUN4LrFBHlaA8Snyxe9xBKaH6JZ_XES2i23A2Y0mlx4qHNqb6iyTpw9yF.tuLeJIhxZi4_eaWqNMHVRbdf8O2hjkhONZ6Yh6ccpJAucdHfXb8dEy.vLWyNKedT5q2d8Vk3FzzlqvTItuzaXhhnCRxXclLmfQY0cnnLhWggXi97P_g.wmZzdTVw_phn5hG.dJMawMYj9Svk28er_uv7FB2OvLogmSqcfUXgpbTXGdYZQe18cRIiuVy5oUnhNAPXTymZaoH8poAEP_rW2NyK3ysusIUwLtUHHTYOkLlhYZWoF5ypy3uJcKTjbcTCX86cupklQqKv8stPwOGRtz1yA8hDYJgbR73_bu9SUJ_AeQTL_4O_kbk5e0Ygp76lmeCFQWV0fj.ikGyFppAQfxXpWRY91ZamM.BaQY4fwCmy.mCIiMXwG6SjJH.Q4s3cs2_PSa2p65t2QMqW8PZ",mdrd: "a6H2BABk8jMh56af9iFMls6s8vxHaJqo_TTc48otp.Q-1744141838-1.2.1.1-EHKAY6Y.9ddn1FF7KXraG7dlt9N6qw.Zmd.PrvOQV7kPCqyfjFkIwoUXw2BWysylTKGZEwqXzLpIuvPAYogSmGd47ClWpZut95pJ7JNOEQnET0fTXx.6Kw7n_otWIiqF3aHzQWJzyV9K7i2hNGA1D2lTTFy2vv0Eq.u_UNsNF1ChbZ.pY.qAK7wHTKnoo7tASYJqL2dzsDpf1mcCZ4sApdA1p9WEMT6YLo4FEQtHmHo.FRrBt0OksTYRQPMgvEGMrFqcralnP.NOF_t.utWXMK10UyE_xWgQVFOr6FdQKbRfKLkTIcV1jvjhd931k0lOAhrxZC4MJhfIyUCdpq0WoUvmK19KouOEm__gR8CPw_7TLfmCDW1DopdR4Gmw2hGwcOkhYV5HRmZrfk.ht4FicQpokkcJJpNnqo9xRbDf5yibj7NmuKPDDshejay5nixGFJcET2FX5ODoejzIT0MukG00gVfLzL1xeFj815CMxVeeetb8qpKIIosBPRNiaFDEHDr7Q4Yam294sqeEdjjoPlJqaISXJfoda7Pz5syRUfWx4CEU5CzcLHA9deHYGLEwUnKkQ9Y7qni_lgBQArogPA0WwBj06BOag_537nPu2nZmvHoKWEfe_3kg324XVVTPIfg7HMAl7BwVlyK.f4JPTiTVG9GA852reqe2GQCXTKNOrxMA7Ry1NjvQoChfqA05A7XWhMk4_e2DRMIdEklDMuRER.zQQnB7GMX3doOErFpjb2oFspI3W_Rq9bOVWMJnjDbCq.IESCaKRxJlzPt5ysvIiqcqp6GYw6SNmJ1QaQSHrWh1OB02gzr2tQbgLLqjkA2UJn3yLg31smNkZt5KlMgElonosa7KpJnTWVC_15afv.RYIsIgnC.sMk07b1Yzu.c_rdd6NizumILTOP3kfsEYklsZB_U7kUDzH3EdR4.MDtvvTxkWEM.sIpDyWe8xhQkXW06kp8pqj2EDDB11sSwFxVShN9TgE9SZiwayK0MfqL9pDEQn34qb10w7EDo2ok6UjWnXgFusHj2jlWKgiaHn98GwMkKiT8dDdIr5Plt6AUrYFhAk9uu4spfA9b_LKHDKUf03OMfEQqiTcWnWeew_BZ_7VpqZGIYDbSOMGa_Q785HR7P2MRUuC3CcN_iZPytS0Ugsz3qrW562ymBwKLxPYsKZbTqBmzrHjWTigPmjj92QNOog9Q83AmtuXWvcsNRSWfP8lP.YyIx251ciyYEyuami6mkS848LilATJlUHJ1mOnkvRvu0lUgoag3IGKqwZOJFYK41WuIWdj6BkThfKV9_OEaeq8D7ZGAuOpVGTsAajhD4.1uVhXGHC.l8sM1zYusm3dm8KA6Nmcy0cyJRo8zFbD4p0HtOEtK5vQ7dx21XEUrdKOarxd8sBd3cPycBmQN9RENAlDsddOemgcUjzKeoswPZ6kf53Qq1lnX70gm9Oayb0TNzqPGdM.RhCwlWH5heilSe2r0TpXghKcbw.PyYUIC9EVH88DmDM3KW_ye1zMzhKP8uxhgA_oSqvzHEGnoO9mzfC8tACBvDkb46sywOo_AYQ2KJe2trxaQ6u7zCXmZ4sLMgiaZBKgvYammm_.qAWXBClrp_7qidmXe3PNtuRrd_OKRUT7yIBzBZr5.E7d0Dm2psdleaTtLQ0NCJ350Zad8UqDTYm.9A3Er2z_1FzW4A4vQo_Xd2kIORc8cbPCGAEVbras.mSEkF_sCpX_dh3lb3b4kRUnfd5nxFdHv1sr48XtlpWFQubZT5xHhyJLtYM_fsuU50HEwkjafxwYEQKae3z8Wu3iY06HNbSrJ4WYi7mjs0jkfAXR7y67FeMRJOnmTdn7LkwgsmQRkuSX.wbjRpOSbpcYJ0VICC6HQ7wGrrP7JdeWBaVQgkkgVNd0E7VJQ5Csla5yH3koWsDxKJ.Tt41pyWE4rYMQ4nH9GXKCSLwHWbyaoFDph7k8gckSSsJpz2vIElcc5El9wmm9z7G5JKzzrSRpgpzAacFjzzo.hFFn4Ov3hM89TKTSO9qCru_drKZ0Dgv6m3G"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=92d44b7d6d5f4b92';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, "\/1129.93360?__cf_chl_rt_tk=nmKlIvj5KjuqbSH8n27137fG_M85pD1xihi2fLnWGVs-1744141838-1.0.1.1-BzfDy6OmR8ieSMEWck9_3ld08UZR0behzirqa4Ot5Yg" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>