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: '92ed60e56cd9ff92',cH: 'f2dP.T.HZXQiQpYHY4gf84o8_p9QgliEyrIRBdu69Rc-1744404859-1.2.1.1-kkFW8ES7aIc8BnGagUN84H8cwK8wg7JQqicvbkzjwt4mrOvPhkOVIZ5nAr_r..F1',cUPMDTk: "\/software\/6161?__cf_chl_tk=nMo6y8KlKvQ8mYsXy3J2sBu85yGh9rr3ZE1xrZA0L9Y-1744404859-1.0.1.1-ecADLkGdfP_k1xGNtEDHkdH0qTrJeDBiczyyAYXKOME",cFPWv: 'b',cITimeS: '1744404859',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/software\/6161?__cf_chl_f_tk=nMo6y8KlKvQ8mYsXy3J2sBu85yGh9rr3ZE1xrZA0L9Y-1744404859-1.0.1.1-ecADLkGdfP_k1xGNtEDHkdH0qTrJeDBiczyyAYXKOME",md: "WQVEIn4I408ujQppBSKTPvZkhdi2DkKLDC0Fh5TZio8-1744404859-1.2.1.1-exgDL5C9KIFXN63sPNlRe0xmEl7.lxDNibrYEVYdIxBh2se4ulMkMpbApWR5e8yctCa3g9ykFppgKS2b.32ErxQ_fsIZEXd4togBVj1D2lqRijZJfvW7BOodooADxQufo0Iy55xDA_JWVE3s2L5lTBq8VfHLDMmw8rO9RxzkV7HNc2.aHwKXw88IocBM3uiXQNdjvv.ITOldhd588jodQTVxAukj7uDCPxnMwX5k3a1lCW0ZvDB3a.Duswf95A6KLyYR.P_cNihnv9KOd1NguX4rzEZ4alrh6a87LDD55YNr2c.dmtpGjdCjfNVkJL44I8biVvU6AaSMn0dqXcoFKEFNxUljoo0BuXtf37oZervaoLBqUKj4io4JX4mSFORe1oSf6UaUH.Dvx2pIVuMmldTc4aqOpabWsTIjbKwuwAe5yAc9A7pe4iPKr2erc39vTgilCWZI1BDMwMtyHWlC6tpIw10mtoPnz3KQt2ycGuMCvWooKRgUqqk6g20xNNxT_141BvyIL_WZk4Y5UVdQam6xCMeGS0BVR0lFlCTf3dYsN9TRDf10tF7p6MZkhuecrNVNQKj3_WJ.gUb8MjtW3RQq2RdQpaq6MM2lotCOst0gnKJt1Csumgq_GOMlqoisa_vG01Cp51vwWthVWfxwvSZDv_6Ohgonl1naigWNV4CDD.U1KFQV39RGm.W34n54CF4YYsSFhJgnZ1Z7sFzOwI_NTlVn9BWJQs._c0aVipwK3BnqMVS736.IDtf30sj2N9RfWWqn8af.SsbjggjKnf46F4U_nrMVt92fuLqpit8j8rN6ZXHiJKPz.NJ4ATXPWmtH0f3cToxPJ3Yy1vsrWvdNIt9h68HzXIpxiBUp8HI9Q4Nrdj9tnmyNBNbgqrHZucagEmGae1ymEJr1wQ2kK84OKJGwB9WrVfvIwz_sVgL6QwMUBIP8cG1oVCiiFrRjAzeLWx9LFkc4qduBgpMMnr5Oej4_blR3EfzB6P84hg86BRDjcTu2lePhmOOYpQeJnncPQjoc0.DL5M2_rItSr9ai1NUW0qjZhatVZTwis8k950t7wzG6vkZSot3LOAJ2QuBEL0cuuV42.UN.NEVPz84Hke8f91zYTWs6Q5ueErqmXBiqm0SmOTjuSK2XvppH970Ae4b6ysGYj3poIG7ZIFG7wQTUdtGf9EM_UMmg_ks4CuSIT5B_Zo_67UVAyRjY",mdrd: "lQ3qwpeFkFB4qmbAJJtggtKDwLIxzpTibnxYYpBwlmA-1744404859-1.2.1.1-Rhv0owyUVVSjxplrAiv0E0q2w5YVqCjnWuSLAcXCeklqiPcwzLmHC1yrVt3hWTPrOGqP5195VH.dgJsmsTjoJavNiV7juc6Ze61W9hRSRHGpuMb.RFiifJJ14AoFQ.mCwOfl3Z0guBYz.Gs7aqTGrpOx26oNPUjksl.I_kl4lkU2RWC4GkP50CcC4bL9gulx889qVmCduXL.4UddJewz8JtiJzOwmB2JJ_RGRiSOPd8Vt8Vf.qaGTpPs.da3dCZd.lA_aFzDFCSfcVx2kXcew5KzBHScL7tCCBfW6kiwVr3VADD6Ft_.P.xsgCh18Us1wR198ttjVk.Ewby7PjvwzdzGyle9Kc2L2JKGpxRudxb9ZPT1vv757HpOCK89RB4Enurb.08dsd.6QOWQR36mC.04XPUt9eZ4WLv0fkjNKTeNDZvbf7NKSelqawi4a_FR0f7Fz8DkoSj7IucOg22jxfGm_HEvGfCkg3QC.UKvkQomeH684OtFWKqOZMrLKKBqrHqJjGhQqxc9dASWUCTEfV1QRkJEu4JPRS1c.4OZsMQB0oJINBJ20UQJipffVooHqAXu27ulWzFBCvKCnG9OcS1gBC5WnOGxLpf28bX9J3H6oQX6c2OZXv9EzVfd_fe1Y3F40v2ymqe_hg8KrciY6gCFljNt5cIA2SDMgEQukYWjtvvr3Gq_.6zz4HsOybKkHf_92Wjw1Ot1wHNTdENiSUN.vfghPJQJsYsC6WggBMDR_FRc_nrIdob_LbV55cvSVzM1nnAuxlMo771HGB0nHC8U_lIPN5cPjEtTa9Z4k8v3HBzGUkldykQsdSCSobDsspdT7yw.MhM3AAGvfDGqmslnH3GaPJgo6Me4Gdh6auiPeSlU_DK4KI7D079eucMKtN4JzGgKP6IgI9eXR8jy1Ug_uRs1fUUEURIUBZLWVhlAGLCl3tG1e0skBvaHlIUQnqZgzRQ96Ndi1zz5f84oK0mOb2d.SVkxc8YBOWTewhST7V_AaAjElP4SfIp_6kSGxKrZG3SfdlFXSipW9bLi3aHUUJ_EQhMLbIfz9_TBnMIt1uSgm3yLXsBV43dQVD71Sqjn3n8bhAhbpQgYUX4ZMsrV3xYNtdKeefbL4ZsI.J7I6h9NCLBsmYd2VscGIitVOr1SgqPj5DfDZmaO5o83olasr7GUr1fHdzV5PMS.wKqaToFSafdtdqHoTI5.O8KwMKVSYsO2JWgKNMKocsOaB1GpmDBahWzkGKBLffo1lM9mOizehNGMN.Nl3WUAJTKTFnuxIaCYQauqJXaB7BpLs0iC4ungZHYn4VnVK8aLtD6fWyKMwTjmzGBTi6TuOvkb5qvTF3c1VteUSN0AkBblI2kVSESvbaS4Js1W2muSsI611LMyruAujh_7XbW21gsEJUeEv3Le1PCb_1NtaGtjuKfwoJFGe9uHgpaG.GYvwDu86Y62LbT_3Np4BeH4XY0snExcsihEtVOACBz1gh7lc3Xsw2aik9AfjwPFHEXNngrEATwAtneS712v_hPjsJB.cKkf9G7fNJLF2BLCmARBX3kQtwPehROPIqrQ5H0IziooCI03ev_I6UkSnTZ5ND0P90S_RNeIAVrYlVoibdhEISs1S2EGdbxFhNF6sko3IN6gaZwyO5R8nU6De7QXfkw0G.B1yTYM5fXUHe2MeAvDWYvgdn8UYAKSl65boLqQp1opZ4E.yHJ.azwdfAi9c4agoQdeU5YQm4Uq5pKyY6UXtLg6eVvjiOR6kJAjXHXmBVEJcnhN8POznsFDdkLRqV9s8R7OpH8Q1UXbOL7dw0kfGCKaCeW2XmTyL56_HYs5DIWfcwG90PhZa3_Nz3Z7quAfVi.sS7WYAT0wAAG_LZSePnGfNm1vmhfMpT_2HdlrX7jsw.oREf4KdV3TpQIZrboHt1AfVIFre5SJw38qKDE_LtynZsRjk2vKdsf3l68xlVPsmd2FsbdkoK0qkVjxN6ZrpF5hSAEkm6f1tmAhfeRm2oN5R.yGupl.9V6lc24ekiJy77c_hQ3..zpvRutUjJre"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=92ed60e56cd9ff92';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, "\/software\/6161?__cf_chl_rt_tk=nMo6y8KlKvQ8mYsXy3J2sBu85yGh9rr3ZE1xrZA0L9Y-1744404859-1.0.1.1-ecADLkGdfP_k1xGNtEDHkdH0qTrJeDBiczyyAYXKOME" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>