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: '92eb9f92e90ef92e',cH: 'aG0pR_kZXFcLt9JpOGkMnK8Czlzk83I.j4BNGTNA3sc-1744386455-1.2.1.1-pt7o0cdiY.mdhhtft2WY82TbID1CXrkQkwzaUuO263VH8Ocknej8kbPeXI3ck9LK',cUPMDTk: "\/software\/4553?__cf_chl_tk=.5p1QZLGIhHJFg6HyeiX53GW94A4jICgo2HBkm2K0t0-1744386455-1.0.1.1-muymSPneukRlujvedhtrJg03m7e9V_Gmh66P8ioleDY",cFPWv: 'b',cITimeS: '1744386455',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/software\/4553?__cf_chl_f_tk=.5p1QZLGIhHJFg6HyeiX53GW94A4jICgo2HBkm2K0t0-1744386455-1.0.1.1-muymSPneukRlujvedhtrJg03m7e9V_Gmh66P8ioleDY",md: "FyACaSqweZmRly_Gua.yu0Ry63Odlhnh25X3qudHC.0-1744386455-1.2.1.1-ccdwgTDwtjCjvapgqdtWGHYakUr_oiqX1lITs10vI0QXUKUyYwxOhr.kn7OjIGHik.RH_sejQ1Vo332RxUiDGJaUuZP9YFAE26glx.frUZnyESl12NQUq7RSII6yLoLYVuvzJExcYTVvDnhtpGXMA3Q0p5QmFeMjgM34u8dXuTkGZk2lWbf7kum7e7i6i__jK8mE3zHr13yE.0PXNx_07EKb5.RA0spNIk_kDY4CVjyaaOpc6uQjo.CEwga95vZiYEwdqiP8j6opc2Px5bxHMyshoQ4a6NXag7DhGZci1PPWmAM10Df2WJBudinjjMAy6aLXa1LxTXMK1J2TgejUNEWpO3sjD.Lyssfw8eJ_ByeKWXK3EC.B_fuYXN.Emyl3zlgpQrT8yGpAavL9hBemeVq9rUO6VyhCfOqQcxn5VfEm53OR2hzRa8xQvP4D0BU_9P7PC5m9oQHeV118GD1u43TOZ1p.x_42K_8z1UKVMypXw.Zo1Y9Sx6oDvGkvq9wtL4Q3YKNzlsVPTYBNwpc8c_M04T8Y.80IUpWY3HxSxIQsbOXEPqFNorjBt5_bticFnzBX4nrx4YpAWJnwtfGP8N_rrEWGwHXvHg2xYJ2dErH_0bAKf_yhvxTSTwyD31OsiiCoyW4ksCfCaRXqnRyj4m0UhtpNLqIWa9JdbQ9VS1TfzWxQUnISXsxC6Q.jg5XJwma0rz.xJ7om5_7BjVW_3H.vFKDBb5OTBhLhTOHnTEkMRCgsq_VoKZvFQhx_d7GR5hKgki.7z.YcY9UzCwHp6T5GWFDWUqf83v6LW0ZBV7N1.uUfvExMDVqOubjw5OHH94AYkfV7_ieQCs6rKqXA3E9N9lUT2ong9A5HEML.o8658OaDEgskAGv1Ow93Fj_94VPY_LgU5xFNacBX1YUsoozbBvSgkzvibro90GVdrIR..NF0tFibH_up2XVC6x46pkgIid_xChwWINb7OJBUf8SlEd_lqTIMt4ngjcipv2nlGP9xQfeJ4In8y4xTi9tMTutj6UABDsR9w7xbMv_YgzOy1RYiM_8DLpVcm099zJm83qXae8NLkXWNZj.1RVKl5A0J.TtBKROtaAk3FFlcEXM8Kftseps_tI5xFy2dHK0t4MhH.0gkAj1_uaRaMjoGPVZvZs_9s_00_224yQ_ZEd.iQImj7KkH.JBFG7wyTYOJBNecAMDPm5P8MMJJlKsA",mdrd: "4sEsAvthiSMt1TTE2yiBI1oRtLWZ_Xp2hJSN1UTxSVQ-1744386455-1.2.1.1-4oVwSBWHtilMH7ffVoyrnHlZ4RcCXkNaI.A3vZvLhsI9Ygs3Jay4hUEsPHolZ6QXW9KyyVPr3Fmx.TLRzxvrH5q.6ctn9K3fC9a85mNCz9tgR0XOs1MBsSiWb2vZIFhN_X8XvirONUUN9Wvm75HvcyUwRtRgsRLkg.3S.UZm1UjfpHxDvOrgV6rbLz1E7D3wDVm_1XR5YXR21NmlBszIrhTxXc1u2NfEaxIWo.c6ivVi4gx1M45AUxahfzME7HPhjb_Gl9.fNPPBCkfBv5PaiXm61Nlb2HdRRJnwARze1vQnvLZNt1ktBjmVUYPddDoGpAJM9Gc0XgKUv5vbZAIGHX3Mkxi4Za0L28Y7LwPtCIz84bke7kNpMjkk3VZU3Q1qDM7Q6ljqsaZTWWLaJpkOZRqKNqyP8IMtoiV07n32TqkH8iqiJ_KtYdWgSUiZa47GpcTwftHYJrXDeylcasr5Kh0JunXVyAOh7JU12te2WAHErVs3Lob.eChFiwxjbjp7kf_ARKOZJs.C5bkwdOxyhew50wvX_g.N45rGdozzqSgXr7N9.6KQSbjsYZGcCBOO1ZBjyQ8ZfJ8OisgySrKSI2ewNspUJM_vCTyTyXGaSzLxPc3Z2lKySOzWo8HWFn0c1P0jc35h4dBd3l09tRepAsF3eowB5UCjr352VqWxzXkzuT3YHpM7Pz3s.r42S9nT7nQ3Veh80YBSRmlKVeWvj3R_k3QBQKZDlI_4Tn.ep06RHlj_.SekFPUS4gNWT.I4WZKVX_T57BTI6zSEkXg4Ukl8uxITHfIUIoC8wpdO9qRgg.mGvAYyoIeA7XGwnvh68blQ861YY3tkopU1yZU4hG7xc0UNAhG6GBmD6suXYk1nIiQiwyD09kXreQoEDtJVrG.LPQVxWcE0Lr3dO94HFqEMcPlE1GUPxAZhQhvZIdQs4_Eby_kFKYKsWhzTcwteIL5.b83_JHJI7jhcEdiv9drRCCL4kzcIxw2BLYlrQLni3i4IzRf32gdZUDt75D6VpvxzgZXsT3IyOeajNEUoLEaTXM3lUsfzgvnY.HHpHgpkXrs2i6hGFdqgkaG9lLdo7Zj051NYpLtuj7.qpTuQNmXjex4ziECi665jPM6EvcA56NJcppgqwKLlGPZIUiemJr3peQ65HpEgSkhnQWovSi6QC8Sv__W5qGCLmBVNA68mSzm2R2T1UzcdJwu0uc5MQbL8.NIRZrRLvEVS2OuVzdNm7pjZv_2DHvNpp0wpF4QT_Ppvpchyyt7eGp0b2Yo3ZA.1n9HJGJdiA8KEQxFbtDldF0Xpab3qYtxFnT.ncMq1Fn4Sh9MRMI8krytiZlRGdbhWfGGiiy4qJoP5_VQwvFT8DUNsiBYbSeoQ3G2Wp57q2qDXwwf9AXSDUMcyaQHIJYmSy6xFrxMxl7iaOeTq6WiLw1._9gTNmWRL_X4bBL7_TTFgYeq75HpMsuLc0SeknjK9Fsk2OsVB0uR8I6y7TAnZSNt2oDNVZkZVHMPg9I0OgcDDqJ.bUwIleBizIRj3CslcOwvFzwP.b1iX3Xcjpc6eiTiyPvXbDfMcV7Q9TiEHPr8ZqogbmUrp7neSMSlwQtSuoCDnuwKHBH_sjH6kynwh4HGbnIlMnFzrinZn71E6LXRZALc_fNHTaOQYsrJ4xLUJKcJ0I7r9aJYXn5VUV3R8fSbcfTdjYJWFaLk_RS2Rf8LI_x880L7k6nRca1r2yeU3TGzQyaKoo3pviBt.qHEoNB5rBId4rcDokKc.4nlGUctH9UIDwnmkP8Memri97eyLEjZMemcfiaACdykjHMfyjTaMXvHiZiqfd_SkEvtsVZP4Yi4qs9eXuoq6d6F6jUjkxheR4.E2Ww3_EuQ.6L3zB021EqlPiSy7HHf71WpkMoGABQmTBL5NeHnuzLX59mI37koyGEgIw01lP8_YexAew7MOLAadTjOpYdfBy3xLVieGmEBsLNBO6h4BOvwng11pF9n_rL2pGPMpZJdm6Qx9CDJASGQc6qu9QcRbWYnWOd9hy2jSlT4ZFIaWpt0D"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=92eb9f92e90ef92e';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\/4553?__cf_chl_rt_tk=.5p1QZLGIhHJFg6HyeiX53GW94A4jICgo2HBkm2K0t0-1744386455-1.0.1.1-muymSPneukRlujvedhtrJg03m7e9V_Gmh66P8ioleDY" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>