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: '92dc66e4b88afd90',cH: 'jFRANixes.Bv2ApQcgVGtmkyF9BDv4cLz.lvdI9qWKg-1744226847-1.2.1.1-o_5GM9Nas0GVP5b_IxItCD6wmdlGl.BkVGyIYd2LnYVezGlgpnvXUTxhJJt3WIAm',cUPMDTk: "\/software\/22446?__cf_chl_tk=c.jaS5a.xXyeTtX6ipnqgAAYtnk0QzrLdzFcHRYo78I-1744226847-1.0.1.1-PARKUV.xmF2ZSLgV0v6yCgNBbgGt9KtOcoAeLuFujZw",cFPWv: 'b',cITimeS: '1744226847',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/software\/22446?__cf_chl_f_tk=c.jaS5a.xXyeTtX6ipnqgAAYtnk0QzrLdzFcHRYo78I-1744226847-1.0.1.1-PARKUV.xmF2ZSLgV0v6yCgNBbgGt9KtOcoAeLuFujZw",md: "8fKvOETsnKjoIKhYHrppgZvVwPJqNMnHbDJGIgyXlpY-1744226847-1.2.1.1-J50e66WcSyvprZqMpQChhgGifMk9fZ1FeobpewtR7u6cyp2hVQx9DgVDKmtXtqH3AT5q1RYmg2HvVphc8UR6qxQoNuqJANZmYtIlZc6a5t_qji4VYNJvOQo5Prr.StM4AoZCCGLloZwGvGPCZ7NqJyV7b14LxlEUDpf5xx2EQJTn2.OVgI0cn.hMXf8prUY3BK39Yy9VdzDkgZTbqmGBpQ9yQX4w5ymQpeDJir6LbsNmOGP3cujSRStgximkwPy7Ub1eLp6KilIJ0Ix2Wiok_W4gKcjACwKBXVnrKYeympfqyQI18xESqxMim6bG6QE2k4IuituTMIJUX3p15_tZLM2G4bLiOxxkTE_9J.EhfgrCS7O9gVxtPpCPI3bY0ODsiHS.2BKJTYVk66a8hwaRd.nf5G4ZFU0NzUoRVsZXEqbQ1tcf8XYh1jD5Er6oTd9f9zhC1ikgwoGmQzxFnhkxvO6pfZLr4PF90cw4vM1guhOxEvORzEgn8ZaIppQdwLlPFJtTzMEyKBoCVeoi.z3Wwvh5J1f8DSm7swDVsTTpDuCL5jUjHnwpEtnyx8sLtCOFAUllloLurACvYPSaOT4iqK5MeVOLX_qUAXWGJOZa4FfHV5KatV.7C.3BnE0ZrOojZ9ygf1mECv4_Bf8Zp2DWAp1R2MXkBMzDqpqA4y.OKYu3_jj9rvwfpHsZ2driEVAlE_.Vl9rqE7jyxAGGFXpRNE13JVMWRuXWqegpQoKzAgqLpnZ1BWu25DeuZviLwcvidxnRlW2syukGSrJEbkbNsp.l1MMBMpnY0RqGXmbRiMzJE3I9774hLC0N55u0YoYMIus26R4g4WztNHIaYbYlVnus.hEUivK_4nfm6kDWpDYnhSEYh5G8Yt3l3aMT0pR5GChj0h9YL_TzT1ImHiL1UEpqc1rXpFh38fg1Ii1dduPYvIacz0.bsj3QaLypZbUqrwdBgJzvLjPh.sEhDOssXYA7WsP2r0_6HXYQQuJtTYuDks21Wn70vR3.yKX_QITIWtEP7CFxHWrR12Yu1_QNnuYAIj93OFWfhuUzxc4_d5zBXkax7JuErqfjEu2QYZBb119xe9IJIIPAzFoA_AkH0yMN8w5Z973y9SShqdQZgE4IfCem.9y9g9mPMojHJ2BPka7pgugwW273vMUM0AVVk8HRkJwPVuA3D1R_nXcwinc8PSOKUuQlwikEZorrO9DZ",mdrd: "sAsey8oBYWjbkoUedd2QNYZxMk16B6MehF6uNOhfthc-1744226847-1.2.1.1-2i9q51In4314xfcpAjrgw5vW.Px4cH6ndEsnvKmd3B7g8jKeblHGY9x2x7M9ShuwMLtRTPOFwo783xioOq_i0T9jR9wJX5KFLpV.bwdmVZHDMQ9n_LkE1p.oyeAL.gzMLuOucLtQpUuHbTEoPqlcS9s5KHsUqOH40drzFS5ztPDlxYMWrepNf_1.nieworXgYcUYEQe2XIPDcgxb88c110mKTC57H6b3v3EfHjdaD3bJdA2qUHU29ubloF3Rupqah0kqXmsXdVUxYImKerBCewsz.p1xCJy8vqYx56hGpUHrbQ3ydzSOXz5Kxpb0pDuwqWi4.w02rdp4iiGaySin.4RgKTMeVQfJjR4luT.9ev4zBX.gr_cRuRDJnp6lphlS0NdplTYr1ybIZ1p1uUsW.6ixP3DDth8Tw3QfQpfdrkJXnHQvgBWOEboy3TpFApobTUvrnTuTrkvnfN4J7qHR_cugBinzTGRMFA73NTJEe9Eg5Q5HI_A01GheDz.4OQsnldvZc6_OjyRya1Wya7yefL1zQxAz5nOMGVEVwxDwCs2TxBhLBF3fac1mwcQQQ0EuuBEKuA.SaLeuLZq3S0MEWVuo11p7oki6Mnp33AfFfX5pZQ8rRBKaKmTXPnRCg.wnlVG1PcIibzcnQtHLhRvVC5HURsHD8ht4Z0liJEHD.7snuGoCi02dK6cwJfFKBJLOxLwFK9CtqNb4w4XBQVniDPAi3XnK24wuzZ0_b4P7Z__.U23XxvAE26QTe3INdCmHsWWApwXnCeA3EfD0GkgWzdY2Kdb65pJQZmMokW6a33aFlGFV1CLl.pKOt5oP4AlUeT9W1vIh.ZK5yod6STRLtfocxZvKRWR.MQyaGloxklGlRQsujJwggYaE9Zl.wtRkwDf0Z5r0XCsakTBvfUk8crkM0PZ1jrvRVtYPoln9X8K3QRvVK1hL6OGRQ47eGhOwi7do5T6egEzb7YaeYnAqX_xDZqEZMM_PVB_ZQGfJ7d2aF97DYBRvr2dWIiLEIIx9.GUWMfQK.Dl76vAekdRlHO2pYtQBv0KAn_eRY_5jzBHKAhlLJdXuRA_8F.kz5n._V2VsQT8o2oOhfr2QtkCnc49geNolb8aT.XBTsVCxD9JJGdbPyM16DdsIX3DfhV8wiWGzAZ1RH5fuHcPQZn5QgjXH7oncdEXMs48eTwp.e9uq8PRlaLVEafnXyJl3.zaG8W.Ay9ILd50G31YbcrpuXxiJbAMB_8TLMgmPNro_AgNgch2nHXfB0NeHLN125ASDqaCXyBsY_UCeGei3nVg2YG1KVoBi5.ae4RWY4cm9QaIa_I_nWyZnhyFm20BCNUvhqBULkDZvbQ2yj3CYsRJygw29fjYspT9oNEicX9jYSg5KMezQ5ReIvNPu5udTHp8EZBGkgBHYBe4634J4rNMclGxLG9NWPn.tT6sPANc_iwo5fM9PC5tXNNAiSn80vL2qZdRy4yj1RgJTzTJkhvuzj6bsq71Iq1Zr7.rMGgTBheU5TLAXov0TlRywfGyTxpt.GHaNcPzWA8oiOoN8DYb2ynwPW.ZEpw33F0Jr95V5epddLf3_Vuyihjf_PQ1d8we8hVCfqK6utPstHzvVL2spmnDjyYRlR5yJrNM0FhQ8celrS3Dj9bcO9HEIf7aDrYWXit57PsIrvlY3MH2jNyNLXlIYfXHMtbgsg1I7.i3tMEXnWVbVmrb4Zpa24EOOtW_iXcBpDaWsrNm_ieRB6tbw5RpqifwoIjg59Cl3cZsnBY740BMJbNu_VKvjXA50w.YuPLuC3hholrS2JKGlR6nfHM6aJ2bYBPUVy73MED1OfAblRIRGiKjvwjA8oHnZb_bUBwqrxOEPwlWvb7x5iw83TbU87aAGk8zop4YdE5ZnyGHrSVhAXu0f2bdN.iwlDYt4YL0fwBsCvI90.KZ0MU25yJv4HbKqdB6VwhfpyekN3ctVlO1ChO5SMw1ynCnZoKios0kAqzbEGBijM9jbXfLghwEfAjMj1mkKh9sOXvsZ6GyDsKUfApFY_o7gpEDcD.h3"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=92dc66e4b88afd90';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\/22446?__cf_chl_rt_tk=c.jaS5a.xXyeTtX6ipnqgAAYtnk0QzrLdzFcHRYo78I-1744226847-1.0.1.1-PARKUV.xmF2ZSLgV0v6yCgNBbgGt9KtOcoAeLuFujZw" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>