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: '92db0ba73eaffd03',cH: 'l0lpvwtBvXBxqNVxlg7ozrh5YVCWW_Qh4E4c1ujAN5E-1744212624-1.2.1.1-51xmcS_EjdsG_HskbwthQNveA1J2fQQye2RTFTEKo7_jOQo0eOoIo1NP2SaEXrM_',cUPMDTk: "\/software\/11355?__cf_chl_tk=Wa6.vaN1seeCNDig1psCz_bo.Vg7ecDmAQBhwcwWZZI-1744212624-1.0.1.1-lL7.KjpZ8T7k15nk0Lqz3x_mBuF021Ui8ws.2vGooh0",cFPWv: 'g',cITimeS: '1744212624',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/software\/11355?__cf_chl_f_tk=Wa6.vaN1seeCNDig1psCz_bo.Vg7ecDmAQBhwcwWZZI-1744212624-1.0.1.1-lL7.KjpZ8T7k15nk0Lqz3x_mBuF021Ui8ws.2vGooh0",md: "32J4ZZr4GSI6BJPqyhh9sBMGPZyWJ6ue2u0PVr7KJaI-1744212624-1.2.1.1-YB_QQQ9fl2GXq9P0_AeOl4Uxj_8nlsIgXS2KcHpbGHfo59g_XsSbzj1I1ToSnSdShlK4fvG2B2CK_2PKnhWYznTW5_CKwfAX6Y.3.7WtEmwRFnspVGwn.7aqYJfRUrQV61H1Uxjf3Yw37S_13VUytjPQHN4A8G5wMEwlGC10FI.7HFQaNrs_C.8CNW9XniF2qLK0ExIsKK8v6vYOAQHGNHLyMxtLf.uxKwnqnOniOapvJgpllX7dRIeDvPMbJyMDO88utZBReJboy4VkUrVipzTFY55xEWAB1RE4m4ZQ2et1r0GERHw03sXEdRpJtOal8TBX2aLoz5RYuE2Q7IOAerj.V0u37W3AQRf_VO56OAbQLe3YuUUXEzJeI.AzPG.VpgecYfm0QLCOl4ItJ5bNiYl9WaoFdSjvV5bjj1iZg50YrweGKmhsV8le2H1Thcdjab3h5.YnR9KaamLJZ1Q3FHLM8IFyEJVowBNa.DBTwAmWC4n0G44AwVGjpRZAS7t_FcgSZJL5BZWF.zMbMNzk6ShjPbyg0.MVLukorw6hUP1PnCyvdShECMdSbcFHzikZjD77grZ8h0w8HnF5QDMsS23BZfzRZNEybYWiFrvcPQA.6BiB.lNwbUPAaBC.JHOWVEZgFsPGbfI3bDAHgIVuGwYyGkFGTN4A_f46zLl3bD930Kd0dMaHc0XYFON6DNk1Ez.UryrevDHxajS7FUEd9VHf88BxnpLrKucYXXhxVG8eBZouSDZ1yTik4Y.C7dfwRzMYgA.ly6LlnwutD0Uqetari6OnCH8RgBx_kYRYQ3hNWPO3l9UjrEBfNgciTBoCU14ClmkKhy_RDo483c4fCu.U6Lji6X78DpgqQFkhLacdJ4.shVu2yxENRbAbsVBbJ5bCOhbBGSGwjQG1SZqDZJ5wSv_Zpe8wYT.MlxwfGWx8nqDgqghvpFJfW5Wx6gfkBlkgL5B2M635TQ8aBXcj_RFreb_52OX_YhTcAedy2vLpWRboXAc7hN4eo9THRcVMeIXRoOL5YFjsf86sMeSWvQKUhiz7JLGWPBqpdwABC4KQAIcbdoaik38raUUG.KWd8ZUQ4YhVQzIYrXiU1lA0TL7TQW0qRN.6YEXdmtFhdTjuAseTucA8Ohl84n.tcYtQkrAWly79acH_Uo.aDwe8SoWdSAxHE6uVFzszA67jiZlh5OzW9PbAiGCt_NRFdY5k",mdrd: "4dkfY4DqqfFHpXBGYwu97kP6PpZ4MIYREqNlffNZ7K0-1744212624-1.2.1.1-vSVq.O2RCL7sHHI19CyYqZWSFflUQRza944SI3LWmOiooZPBkTDO58yH2dg3VoBNKBweMTC6xTk3YMHZyJVE1bM0nFHbvFMsPrALQ9LuF9i9rr9OWg8h.9B6WcSTW5f_ppDlsWa98DJbDJys6_gf0s18_T90vEI64XnIYj3DNIHF1bfPjQM7PCE0z7YHY8uuL9GUNXw_5NB6hq6V9ATCABbv_YrmPZhoM06ZR0GmOVpr7nv7n6uDXSMu8TqS57vyA1whwFLY0hDFA6tkwb2X.MYMuPYNO6809gNjmg0m8fHI6v59IzmjGxVkBKaKq5hcz2O_gxp5Y3jnm_7PhaELv4mMsLuj9gyX2lfX8F2_caRoJgiYdDvyxq7mJTmmfB67eOJnNjLYf7m202dr6vCXzuY0rHbhHcseL8uqr1eaihqnJqUFVRzFG6AONjvkgXjiFKTN7a422XtR_mo5J4BXUUqiUocmvt9XfLiqtOuhEXPxUlzuPwvNlxXF.hcx9r9bLI0PwrPWdJ7Fe1C.2ya3cGtguWj2fAzhU3Zholbs3ZXx5bWhZ2GcJE4rkG2lIuOyr3UKBtTqg2l62strOVlh7Xh59T0n5fg9R.IRiYxfrkMMnIIv81xiPDs2Wq4eBwM_QfCnULoIzZ_zUOV_EzrgqICWXC.5DXR8JX7z2hfe1NismYi942LJKTIpLgEfMNPCNHppR_nPxTeGXeKWCowhB0NjTJpI7duecFCoEAcllGTMrGLYMBnE4xVsy5Ns8Phz9roIEkI.wIYr3NZxqBbVA2vm19ZGhLwW_nS.7OP53OoSsFV1ZzmR93IRdb93tGnjw6vG9YHWi84SUZijYUXRQ6Z_a2dnOWs5PiudsagP4IffeqOR3KAkCPUw8AFyGZUpmUgJuIntpsQfg.hjv09Mtg9Hs9qyFMgMJ66s2k.G2Gn_1.lGdB5mNul2Plt3c7A2IJno5yaCbuGuoo30HZcMrYBliy3zRO_jBZ_h1emYNdUzfaMAKRl4nQ.bsQbwjxuiXLBQNsghwEBeZDj8EXxm.RFoDbYFpeJoxEE7_kCEOSeI1ARJKSeMGwbL96GFK_Xc4V0PqO3p9b7RfWbzxC9P53a6EwNzw70aXfEKUiLeZD78uczoCWagK7L4x6JuAfVZi03pGYH_EHWf5R9GKbskb5ZhrIjsT7zSVf4Nbz4jxj3FUo5Tm6F9I4yP0elaeJOCfZSCkT61DCE66IrQXvLdTcLwDd5FoZNm9sYA40CBh7WFR19_vEY7BUkhihG_P6Vfz4bix9fXZRRdpM.FIOozMTeYzaRABtgW042H31ZMoz8pB8AkrQ51_kekt02LXeGEf9x7M4m08aJP_fUOdr9xfYLVUBTB705qrQHhcvZo9ahwpEaxSgefYIXXIMMwN4r2Gv7yzuJ6ocJ7i487voq2TPxaH.GFhSEVeXMOuZe0hlcOeeNPnaHk682Pk_Y3jFn1J45AHyDpGWmi9ufJV9MdY2oncxVl8B9ou0IsFyUJk1wIEeDsGXwvSZOvSqRQLgVXNKHFfZ4w13gN_FNxCcln1RgM.zLHMSTNNW8cX5IB0jYWTVR9yS9O0iOuz7wQ8OgAXdMyc6mzuP5HNUwwqzKj3NiYhdJRirCrqsmmo_f5TLuacRNLeIXnYXFlBZUyeWf_zDmlaBjkWODN8i3arfwjWziguqTRBMHxkXe1ND4UPydcQz_vbs7xR3XCRDd5dWqYGa18ITXAdcRLBJN0lO8Axq6fvdQQMgMAjpkDH6TB1xxow.yL9F_6LqcBoqLZFf67HGSRAWtTIQfSBx6oytmRUYQNWE_TRVLXyuojcrA4M3o4xtthwrF9zWXkU5mRWMuqQj239DZ2RRFoZdVeTVrwENXV2_KxP9IdwHlLKm6Q9W1LWQugxzOEk.fQCnuUqAnHZWR9zImENqdY034hJvUpS1B_QoMix6.dYNeOjYg7xBNoHwJjzOnuEnRq7ak0boSyqZTjXmwL1G38PI19CXNuCeblYbPFYGKXlFOPhXP5GkLmFWORDL97qBQBgva5NPY6"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=92db0ba73eaffd03';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\/11355?__cf_chl_rt_tk=Wa6.vaN1seeCNDig1psCz_bo.Vg7ecDmAQBhwcwWZZI-1744212624-1.0.1.1-lL7.KjpZ8T7k15nk0Lqz3x_mBuF021Ui8ws.2vGooh0" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>