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: '92e8eb159afefd7f',cH: 'VC2GNb6wdXSk45NIgCg4jM8xEiBcxlA8GI8V6WjLm1c-1744358091-1.2.1.1-TBbJ9LWlnKZkp9EngpX2nrQQmn7P3OftjBzOdKhCUeAt_VT5NKHwvvafn0CKJMLM',cUPMDTk: "\/software\/4705?__cf_chl_tk=TBe8DHN6MZB0tevFy5xOg0nvtYWpBGrzGNHYh4WdYLo-1744358091-1.0.1.1-I1ZApAj_hPeSYjKBiEWyyT3nGNeKVV2RR2EcxwFhEXc",cFPWv: 'b',cITimeS: '1744358091',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/software\/4705?__cf_chl_f_tk=TBe8DHN6MZB0tevFy5xOg0nvtYWpBGrzGNHYh4WdYLo-1744358091-1.0.1.1-I1ZApAj_hPeSYjKBiEWyyT3nGNeKVV2RR2EcxwFhEXc",md: "CcCHatl1vbBJEJY4yatx4vVG7bKJuYlqrFRMY7GblB0-1744358091-1.2.1.1-luefcAz76dnJrggZfqBoD0FZVlXSKP9ERwTYrkZfrG71hnsdcldNm0u7MqRWxvQoOI3JJviSEYhxF6SUrpc1o.dWV8MrVQZ_pHYYHXYVqnOLNza6BZNHHpP8zOQkuYM6d4nruCr9tKabvtj2n12dH1XqiczTGBWEnJHrVE_WgNj9OyA5uOkEFgAeYmbtwIxgQKitEklO_w3CYqRrMlUTWY_x5WJvFg6BqZLZ2jXQaW3wydFGB1LsA9PeUUo93izuWnZeidQrvjDHadbTRWFVcg6nyWbyTpIPEYxsRaJA.8MM3pgPR8jNp_9gB7QzxaEf7XIaTziflekyxrsv7sw03lISmdZkDBLb0tJInfYQr3yCeSWNkuX5ruRN8vmsPnXyLhmEunj6vxMt.ayLg7VPf3_hzTRfw1hEbnC5MbqwICHNaSjKA__fcMm_OGsn795fti7fYGWBZdbhThpVyAddV1Glh7UNE5jjSgGh38CTj1I2WnCzXDn6xhGEIlRohEB_CTuRfQgqyFfgSOKtauA09R9CKNq3Vpwpyj9w.88azGIOfvHVM0eOmFxF4wqp_hMZUjxPDW7iNnHer1KsblmxQrHetiAW4TMzJO__dl6AurIz9sWwGUYHRiY88JIYThk1E_iN9KEsJld4R7aFq6LHAM25NVFed9kFE1W7ZNUGEZz8KhSDdwP65ga0pqdjIRLzrR.2wdWpuYgkVwqDjsXXA2FmUkUn84hhMA_upMhzI8XveTMasGjCxrkopozgNAkt8Ey4YeZNbKc0jf9_XJbovitH03XAlmoZGztaZfk0.HvyOa4Y0iUzt._8bflh_nWAsMn7KBUUdUcs.azkbTYAoq39KpXFM31LzjuGmdZz4r2O4QV_WYurDtuLG4XtR_2wamzo0HpwWlAZzjsgtusyVmjEWXnpkmK.HKdWE8VG82c.0odWvO2kQtKDmHzTovZh4OUl4EpZC9gU24pRckskCPIa1l6DGbHBETgFqXSq8tBp4HFozB8thaBrH7y35qYzFPWFWH.UgrrQJhEgI73UeFsHA.nxImM0C1LvvykvIS7LFybBpOmrslrzm5xw0um8HClNwsFMhjvB_xBWTX4hOxyp_JhbRFUdjWOGBN5BdTlWSksqYt_ibjg4q1Z2.ANW7ZOtahD.8ma3vsEKVQ_dy863IuA7lut0qsyO.RbC4cDg5IZzKSX5mJ514QauRnsc",mdrd: "mSGZLi0WZksLf1zFIbiOFLttk0orQvNZVzKV1tS53Go-1744358091-1.2.1.1-KmWtx1Mf2K_nGukIzUserOAhTwaZR8FEbPGNS6TUMDrTFTBbJsasOONXmmnwe2pUVsabzjFfg7aJ_NCrTkaX6ukCP6bnQl5X9gHnEYGfyF5nS_25Yc1VoNVymh82zjXDVyJXpCtG0_0vXL6o77C9_JXXBlvJRrxU4u52lasYsoHY_MEtDkQlL.YKCs.Ss_sAJX1nuaon3xYqUCgdHAoCgnh5SFPeiXY2KgCSeSKJ64teVleTvf84VRHJepDXvUOIg59c5JzH76H5TCr3a1gyQCsm4elKkfOEVRvO6RY1qgrDjz6e8yonci7q1okSha6R.fu0tnPVIkvQ0L79BFNX.7I1xyavEthmx2H0EZVZphjSxUs7rmqV2n2y6JCoCkIVsnfrojDIOJBvEhg4cKCN1SyOjBXv5mxBj1l.m2lKsusrV805ZevL9KE4zZkV9j7_maF0OPAni.zruMJxCw4aZmPdKm9S3DGKTqLg.ENvV6wm2rCnnHQmbfB9ZdL6eyo0EjnSo0YmroiBni1GZFJ7MfQY2NyafYjxUtle3kj40RWwfD_qOviSrEIAEFu5twr84yXp_7L3onN.P8Dzgdrpfy23UBsfagpM7OPXC5_IoBBYWCr3rODzjCzi.OPNmd2K0jxaIzAwC7HoPw5wCQXP0gdtf.cHdlxqLXytw4EPh.hH5aesN9N5z4IzXrudkRPtFQVixHeApwr4DFTEteYEBZWIv.nWlQblD5xAzy_1xKm077ILL0uB7_4Wj9lDp.NjKcRsQJMDakreqFQZgUgp5jYgCRs8TRx_5XINcRFECg7DimGCQuY3aFjL.pRia8GeIjWg5bFFHPNljNRvVaNTS94Na7E2Zoq6_ht0BitxuGkXUTOuz_auwUBrwF30eB2wSf2sa.l1aczi3b68Pu5myzfR1zZf6h.wLdIaBM3pAWqrYGZ0aMiL3qnalDxIkhjBz7xDDxBUFHFSiQDD3kOsf7DVaaxdtVEq78hdVMbxdMvNU0t._wx84o5oOAS.68nKAjdLhopKTwnghjZdGZmATccoYL6.T5z3feg2Ap1nLuaN67OpG8b5XdBN5wuU_AZwMdNWZtZ6he9DFgg950zecM7mf3TfqyVv23SV1r1ftXeN3HJgFlL_71ChkIDnQybl.rHTvbIRHBR8KnlRCXQUXdsUQA95MnTjU_ULQusNXNdDltaE_zPPlltPV3Agoh1S.y8CaNpFL7WHZhRblr6QRJIdU1vYNWweMc8c9MQqcBHTIi9PF77_1uQxSdxtwGkFddRarunVtwqk6Skco_rte1HtDCQGRTFLDH8tuISxsKiBDHBLOFbg2Jw_uEZ2Op6A_WsQpRv5gj.jhbZWrcVvlEVLHC174iYGANY6Z6t1nZ5ma20cgw1diEGOO3bdyUMCvOFk47gz2wI5mZkUxSGREQfJ_QdEZPcv.uQXqw4whdTZyyV6AiAy2HoP13s591FB2TFnwhseGCk.d1C.rrixRU.v1yXuuSCEvlvIgJNLJPIUPIq1uHYIjKdOPhjxXKzsrUlyQRNzmwNhzd07_oyjO4PDTtX4Bs4NaHTtuXKozo6sqWAJBY7ncVnRBBpyKLEqlwCiYsISgycSjns1OjpmE3Vo.RGEfdzCuQfwAEV8ovI7AUs9sKqgGqebGLsOWI8exnARIhVzK7AAQx.3YLCEOjkRyZn5VHF1K3kqVgnWhaE4FC3E4CHZODCoe38YlmumhJfLS2rWeP_.5CP8MPnHjUdFjJ_dscwaZD95AtI4VzS6K__l3LLszrIuu8MH0deBDX_aD8gJgpY4NUulaQixbzqJDdXmEji1p7.p3jAXDJ15nNCtW_JAWe_LPKiJf17zDot.uiuFnTnpMCsV9rHsEEB.lK59ahZwlr.UB4W1E7AV2zpMGrnt5iooYup0fWmrHttDfNtT25Fki5SE9JZU3TPqaoznG29bVKqCGiKCaFSx6lNSbciRp._jircbYcDcY9RQsyDgOFISsoUPcD19Wifzx1H694usbyQWgDdPhzF9cQ_h7E1_DKQGZEEE2v85"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=92e8eb159afefd7f';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\/4705?__cf_chl_rt_tk=TBe8DHN6MZB0tevFy5xOg0nvtYWpBGrzGNHYh4WdYLo-1744358091-1.0.1.1-I1ZApAj_hPeSYjKBiEWyyT3nGNeKVV2RR2EcxwFhEXc" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>