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: '92d4b7ba4ec2e10a',cH: 'cpSuoa1CsIMe2Z58uj456F3b_eBVDtr1otPLJqGE.O0-1744146272-1.2.1.1-CC5TuKLL_4a8tZZshRwvdN4H7Pz2f0Z6Am1PaEDdBjoG_mpbetnVpAUxZnMBdq1C',cUPMDTk: "\/1445.28019?__cf_chl_tk=yTObstbl5z3QX9wxV.AVNtXGpk6JLb.uKxCdzLmBATQ-1744146272-1.0.1.1-Ai2.MXUdi8hDeODQOjQUMGj2aOKj1tXHrdmztJOYWYc",cFPWv: 'g',cITimeS: '1744146272',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/1445.28019?__cf_chl_f_tk=yTObstbl5z3QX9wxV.AVNtXGpk6JLb.uKxCdzLmBATQ-1744146272-1.0.1.1-Ai2.MXUdi8hDeODQOjQUMGj2aOKj1tXHrdmztJOYWYc",md: "3DWhToppsdCVPWokWy91Pqtww2kIJQsB93c3ys73ttc-1744146272-1.2.1.1-.uEn44_AeDPRuXkQpwf2eP4dxXQpruuw.12LF4da2jOndwbfur59FOCXqgL63kZHTXkpYFQ5JxGx.sq27Omp.hn5mdyWzbIievBSBI5MPEsollIfR3yd_EeZUT8sx6fLymSFjUw6pWRLIgIcysOkqgwgEoDa0CKW_3u90IJhkthCgeN5JGuAlkhKNdxvVZ9EzxhHUoXV4UhIYp3JXMKUAv2ynyVGIyQLZ2BeAPGXs0GvuF4npuDwaMbuAjT1gYg.eT9gMRfCyar4r4jgI7vz0Mi.a.GKjWGAXkEuisV5vaYzWNMlKuNw1X4EIagGtgug3l11NX7KseaoBXqS94x9IbW59gojKVKK5u_C4RUf6mg4FU2YG3q4BpUbv4VgXxOSd6f_cprfSp867Eom.gTQSHfeEJnoFWTrR6H2YoCahYKOy9FNjSnmImG_bF9zNVYEZkgQzatgd9dN6em4e2j6M6aJ99Ca4tkxydKO9LewSZSnoVi0OBnS.Hp_CwqF16VIPg9racPDyVm9BNdu1P.x_bYRtIMUteO1EfD9jFkG4kKF6gA7szjX7uvSaXNZjSxJElsu0Gam_06cKxwZrDTvAPXNX1yllKYZEhdHXUqWFQxI_SNoCuyWASBetFm4.m_fxbOnMO0_777h9.oeWnmajyaVRsvsztnw0H._fux7_kBYHy9znPCb6Y3Ri51fUHmxaIKUR89Y2OBdCPjcSX6dByEfKcXo2cN5LhC1FMk9uoqtVzGP.OVyLmgUK_gAuSWVc17Fm7BE1qRsYdg.Zs_n2Gc6b2LZrtMbEBHtgPM.ImAPx6v0Asf4ph6mMVQzxZpkB9TSOFuuiQpljfaPey9qlDZIYm2N2O77B6eplAxHe6hVXttsJ6A6xbj_N.kHQoZ_L4UbsoUCMJmz7PTM5LpPeqFyG5BqUSB1j0oSQWqOkrZLIntrM.s4pRXkAO3BmPryLro6mivQyjcqYANAmL3LZHqAUf61K415Me_sN1MBJGJ0YV4qzDLXhxGdn..Cqkkp9BMEcLyNFLivZnbrT75NTn7Jq446UBUKrz4r3An6Z.TGj2JSym8n0qhO1BTaKjya2cEgnlWTS30EpY9N3fIfs9jUdR7WfBs9L88SWdmJRx4bizSUVuo7VUQAjmdz1Cs7sEfp_4ktISXT39IHDm__jlfl2_PfOMG25BH9Ar6_vD3UQb_GIhfbLEMfMgIVfJ31",mdrd: "2k2_vZzjv1qmxxNQRM6hweM2znzj8bkp64D0jNnmBXo-1744146272-1.2.1.1-.fjNCelBoqIeGNXxTAcVMMcWljD.Q1j.aU0NAImwDoNl1nJP36LsqKpNR62RVsTGyP2w48pfHOCU9NLOxVioONNBaQu53CdC4ndE8HuB33F_oUFjuxTuy662SPVgMsbgKHWNdhsivvGoUg8twIRVscDeJdPS4NmTSmfypiB.pape6num96T9GIMHR3264fJvToYdZfsv_CRVja7xz09.8xzEdRGYExDbHQJI1uqEphywsWr7voGKTLrIKKNsNNPu6qlNg8CeNnYdctpCYv0rcVDw35dZ3Z7SBTjB6OERezMiDJqnTVNnfiWZbS69hr1My6_DaiEh7WMe6HEaSXcRM4u.sUOGjWLgvEyJRFvjMzpuBerVCNIQ4KkP6c9PTBc0zge_D.YtGXZo0OMxNVdnVhYW_oQPLRg9ArM1CMWtEz4Tr1evd8mdHaz4ZYnXtWLuumt_rEaf_7eWrOJ0XrIzQ1NYji2schQ62t7fiDC9BPXm3KIb_XTXHkuOTMGNW7usEQcwAb_sg9MCnqXt.GbcFslQmOhIXh8prZf3RkzoliZ8WjJymiScTsve2QVvFYBODQabXpyklpjX84aHMtrnJz3UnHO_4auDtbf.D7QRWKCETA_QAle30tzFCnIPjW3RRyv1uxrVru8WfZXtEAYhF3EuYQm0TMNpgirwgBFzPFmRqvEPLnyg5Grgt3UlQ2XQ_k86yLkXCCGL6_d_5jivsxApc4eFXGrwBC8f36TTRlIV_5LrhG6LOFbCMfGGJdNXARphwxjV74X57R2FL3X3780YeRcc0GNi2j0HJzk659MvwitJKJWP6M8UM0GahyqhEkYsNMJ1V0Iv.PIFHdtcncuZkFj8dlL7q3BmwI8RPBSzNt5YmSkLGhVeRf57FhgAjkAHR.GBpeVMBNg0vj0wL_h1eR659bqtikgYiAXCYbopSYDkOi0eECB8F01r895_R_oab88d9_J8jKWd3A1TxqBLLeJU71BKFx7SaZjZwb3HiBLaYm6SZKwXEPEhvrghoX8dJ0W8QmegHuTbkWNgGuVPUEPLYzV1DZmsoAJZfLsr6aSHIZItwNPz1BdmHJRXAFVYmZobEaO.Ypxhy5kZNdVEy6j.oZbd2h1KuaFv00Sy2TyaP__MlrtfH1_rfAED8dkcTIZTh7lJYOGBeEyp.Ti_gBUugseIdijPuRtB3ht5EJgWxvRQU_XZI_0JzYkEj4k0I5vtcwcJEvljD0T.Hc6T1no9mqVoFTf1Q6WG2KrgebVksEfNWCyq2hUeYIPeutJofrKIf4p2PK2AiAXR6FUqOyoCWs8f5J_4HrMYABHg.kDP3x7EDg2MhOAuTWguoNmdKiQAroamYSbo5xxY5dKHaQj9EdISWkTZmNqY3mHOqqs0ARtFOgFERilED6xlz6pl1RY0yc9q5C89J6QX7GIbokiVJTdzFFu.yeCG1rqy.As0V2GklUHfgsOWUwAuXMaNG.mmWDAge81g43NaE5VDFYyh2BicONxWADn8gn_cPjr3G1LAhaJWndB0Tb4N4mScgM92ey1sbNhlr8CrVnD87mmqYDf8LuCeW2rxmiPnfTesaDuoLIQnYtKBin.4hYc7Evbzo_dE.WRAHNA.m.NJN2Y6o4oi7VdnaUXZjioxhf6pdnj80KucktHo59WOZ0s_MlWEra1fhK2A_lIRTUonXqaGrzJaZrcxK1PsvvSEifb64tDbAs6egrDP2vQYel6LORLlxvovI5c19WG9qzQ.xFhdX8KOYfEahpUwEHWJU6X8fIirczv4kwixDOJr_I1Uf3PHa2YZaH_eOdbysxJEbk0wncHnS66bBSQMBFAhGnOuPi3IBhhilCAf4GqMnCeAXNnUYd1zF8PSdezTuLabKMsGe43njj6G07St5le0PzJfBh6av.4iZQZw3t3wv2TUOA1IMfNbD5Tk6FtFaP2jla1LdVvW2KyzDOrUMXm_5fLHqmDDdsRw6V8yKN5evvdAaIau7AA7_PP6up9_0JfYFCF5_P_2zoK2WlJ_vaYavGyKgQSYii9DvRfBW5PYg0EKc2WGpV1MGMcJ6a_xwQ"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=92d4b7ba4ec2e10a';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, "\/1445.28019?__cf_chl_rt_tk=yTObstbl5z3QX9wxV.AVNtXGpk6JLb.uKxCdzLmBATQ-1744146272-1.0.1.1-Ai2.MXUdi8hDeODQOjQUMGj2aOKj1tXHrdmztJOYWYc" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>