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: '92eb70c3af6ba2c5',cH: '4bpH3QAdLcs0sq.V46zmVkw6Ahj3dZlBTKwjTbH7Hhk-1744384538-1.2.1.1-QwHGa2Csrx2I1NF0QHQDJLHwN9h6oMYk9ySmFZwkCCGZ4EW92ghWSG_rbOEGEVey',cUPMDTk: "\/software\/11132?__cf_chl_tk=Nmi5hneIKpGRsNVT7zzFpMYAjnaf4n4BcFdt_uAQHvI-1744384538-1.0.1.1-fql5kw.fQqXhGmwoQAJkGh65lXE4Tl9yHS46QPxMW1E",cFPWv: 'b',cITimeS: '1744384538',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/software\/11132?__cf_chl_f_tk=Nmi5hneIKpGRsNVT7zzFpMYAjnaf4n4BcFdt_uAQHvI-1744384538-1.0.1.1-fql5kw.fQqXhGmwoQAJkGh65lXE4Tl9yHS46QPxMW1E",md: "QA42XmbQ0bjAoCLQOoO5.ZkPfqkif0uFC0.R9FbqRbU-1744384538-1.2.1.1-0RnZPDccKOl.xR2D4iOyhf0iADSTd3pOnRbSu0gx2DDoaSeBJ9MmUNpYNK.1W5K4blXJg857lAqggtN_7XGbVGfNsoBu2t88uBtun3rFN2So61A93s7RwUH5U5I0sN6762r5Padmj9a0YUukSH_cU7RKj_sjsqpQMf_bTJkvrl2DuAHpGdQZx0NlUUi2CbP3ZKR7g867OttE0m3kjfU157kHrjNdiSEg4TpkZYFOVQR4bFxL_YMpcxYfgCdMu9AIU4N4i85qHJ09scRjtX7SHvYmrXbOVSu8oVlYm0hbxWM3qM_.ge65p5rLWd3Xm9QG8NZDkL64dEFAwRrjZu6bcyYEsqcTTyao3z.mzdwqf5qs4Ygqp_49EUSHj4oZ3KDZ.JkfgKsHY0lHYC.NHJyZ5iYCglF2lPvBetNPCXT7LNmn2kVF04ARhWieE_yEJZuNT0M6J4aAj96kt3E81FLJwlnWahbzOJQwWXfBx3xhdMsr4crQHOnfziVvlt9AHijRTKqrUVbgg1X7hPbDJgcWMizfCwSORqKXkIj8t.KYPbJJsRPc9oBOZjjMPVljmusZQkSXbNAtw3soBOEDc6QPFKEHa_euTMMip7_SFg2sn_YvBsOP0N.lnFt9ohPFV9j2FbkzDD9eEYaNDY9fjj1daM4Q0MLSLoyB1aHARpmMpGOVVDZlqms31ARAAiaCm9Om5AeFT38n4bGOVxPJlJM8GIxEfWLutXyfcrqzsLxWuhBZ9cnvHlUeN4KyK73jIwmtQAk7c3WNwjki34qoC_yCaNgLz46f37Il3Zy8I60BbVa5M5vZfWnatL_zDSUdcyDkC0QgLBCrkJcOT0oU8MlSPVKXdhr4PvKo4saiVYrgDB1FC0wQVaDb7UsOpVrlT3uodxsVF7jwZK7uhoTR8ET2dKNf1FbASlzX4um4SK3bA_5Pq1sDLwRoeMnCps4rktB1Ol7XBgxZ_bkBcehJDX9Dhp2qtOJoMG39B_GF1NfxsqQe4seFgX_Rm9XSYpfurctBDx4bhPpptDMEiuP8cL9HVgG6DS9j6l3hCG_dpXmKIGi8hvaSg7BHnYcDddh0qUiIzB6rcc3KyB.6qfFR0mr5OxhsaQIqq1MsJpuVydFVbfGrGsCBJLY4VGtUzOBz30mfqeGaJfTN_u5l4DvOO3yzOoVceZRqGnQ6iAlkZtgf.QDMLHm2V48ZnMVWgygeVVjj",mdrd: "g6kUtqtnZqMAdMqK6fy5USynKc.TnkYNceGICRv.eTk-1744384538-1.2.1.1-uNr_dKgQnAVXenGR8ktSxIGfBx2Qkmny9Tp.sayfJsb01Q7Rulm73ktIZBW4SX6XkYj6vN8x3su_DuIaaYOHH34HgUxdel6f0UwutkNMo8IfizM8D8Um9IYpsiLYV_cjaxhlq9HXPkdpH8c4yxlu1Lc4fY6hw4jXM_Bs6LCxCqXs8JQBNmCD0qYd4bUKIX9PTVOsHFiMaoK7vLG6TGNg0elsUMAtXBCo.yLR.iBY_8zxa1uUb9m.hGIHQPV1QrWwyj6712GqXIoGcU9CT6FS.6aSHBTmUMwfl3DT24YRsyD6VJ_1FMPHwFY63eDZgr6vFiVQA4uHb6UPs9z3WdV_yHok3AcsjFPeL.sBgq.H2T2cskPbroMOWltw65Og63qvSXQ7GI48dZmG7.hj2Q9cr6Pj95cCzCv0N57GEAI_6oiL7Kfmv3KGqL3abSDuhHPW7I1j97A5mTQMlMsVwO1QkYDoXUjTqyrUazUhmnXBp3Q5LDJ36cVO0cBd2pPHDgyGzG_NmyDSn8eyQVjab4DxiQyctqHKFbriZFAb54v2dIGf5NemzVMFlNRDA77PfxAn5Qi0984ZitW.vOkOicK6u5DRpv2r1f4k44l6IWn42rS66nTloCtGkWI1vGZIvXMyRARW0qlC6v5xtNZMFBIby6bPySyJjIJ6XftWcqa1PteGoxvY9wabr87qhPQEVH5O7LzEhH189LRdVogMsxw5gPS8c7KvCRyb.j_WqFhpyAcIh4eCS_DrHYr_TT06R2d9j.OlRDEcGPx4piOZFjW9p9Gnq8DCRzuTPLONOxDkJHc11pRg0tsyJpNhrLIcaytJp00Tl0m16HymSJvEG0IiyAkNVxqOAPQFtIP6PxhEAfPogn6Dlcv3JlM9P.m6E8IyRVmlrRJnWYaCcoybtwlnpl.ggcyVzzD2fXLtaMylXHeP1GmZP41vcNoPbd1L6KYaVydiwcuK9jlsD_sKih1F_3QN.p3WqrW.D_GRQ2FFri2oa7.doEOWU._uEom61ap5idtYYs0BGoAA9UBxeggn.KeQSWzynamAmuUyzZYztgLIHGCf9cbBFo3gMphXsCVwJEvXI_q7a1TTUfj6x23nmw7CD8a0lSU3IAWBGXColEE_h5IiUGAjuOQBNOBktm1mcYr2I6IhA0pkuk2iGtk3AVsABL3ys_JG5ZAR_KNgNNrdCY056gFLTjkZACQNF_aSLXT4Onu3IJIIE_eQ839KPQfi3.mGigW39.cuCRT06TOQiJ9BSV10bw9fKy5Jv8ysCmmhmMYhokhnfbxBDQVp8uZX5JkZoqajBujrYuIWfpqRf0HCTpvuRnsGGUNKuWMz6m.XsqS6aJ0Bi33BMeOXlX9vRhhWcsafpomDFtHbg5lZRh_6Gsfqt2jB.EkPJ0_xokVYlQyLPW2zBYmWru53EFT2ut6pSHoqyZXAwS83OD_t6vBRunQ2VRahCW4BGoJ23qkF7jd5ceKvkUx3ey60o793F.4F4GecPu6LAF.1zmhRJvz7ZDnqnFyvViMf7DvYlrEOCyK0i1sO0Q_kQV1pVbNUwM_6dvWsvZ_wsqkSH_16iFRbhrWOOAKT2bFRcOQTAVZQp_0NDSqqNeP7FkIyBv5QbMYT1kduT76xX1vRMDTMaPUg_hNI8ZutCUEm7HUFaioO_cj7aZIRZRGUxvi_jbOIKAKjkubyOfn0TWTDU_RbORb7_8sZRdJnlerQhQfYA1eWXHQ7djw5jamFudtSKBOyvh3q.YNf_WFeBNvkKsgq_WQSjOxkcUmI9EKeXugrFTkyLKhrAKma2AAhB2RxTXRqyltktawryFNqDQx96ucxbuUA_aiTLFhhAQ8Q3F9tyyPlH6BTm6NVfrA7uFPnERqbvX7c6HicnjTF03QemiDop3tQnk1JE3AITPaxwSaoY2MxQ1rpn73GG8nlPlXYLiYkT1UD5JC80EV0blJO8ti8UNJtOdDxP1_mruk9NApawqBWyeUxMwZX5nLhUzSYlXSeVKLpqunUwyRkQT4eG.RQDw0e7JBxdXwy6vGyZqDv"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=92eb70c3af6ba2c5';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\/11132?__cf_chl_rt_tk=Nmi5hneIKpGRsNVT7zzFpMYAjnaf4n4BcFdt_uAQHvI-1744384538-1.0.1.1-fql5kw.fQqXhGmwoQAJkGh65lXE4Tl9yHS46QPxMW1E" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>