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: '92dc558eadb1499c',cH: 'A4agJmv5p0W1WR6SOtho1afgXKyfsM0dSUgfkYVLx1Y-1744226137-1.2.1.1-CW3PGxXntNauszVi4UlcW36RdcBWDfijfLUfzaUhgu60Sj.s1R9HwU6NjteLPIYj',cUPMDTk: "\/software\/4087?__cf_chl_tk=rGX2LxjA3Rypeje.mqv8XFyPS0AVtTEdOLWuZl3DP8k-1744226137-1.0.1.1-dtwa546iG0CiHuS1wKAFyivz.Qtnb8pKacloaC9dowk",cFPWv: 'b',cITimeS: '1744226137',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/software\/4087?__cf_chl_f_tk=rGX2LxjA3Rypeje.mqv8XFyPS0AVtTEdOLWuZl3DP8k-1744226137-1.0.1.1-dtwa546iG0CiHuS1wKAFyivz.Qtnb8pKacloaC9dowk",md: "3CrhEcePOAK6Hsfkd5EHVZaBNFLb4gszH8kwwVgK85A-1744226137-1.2.1.1-Nwd6uMtsqTgyXjFGFBauTFkVTRaF53teUx3C8Thjxt.BBVt33i0BG6Nt3XS7Sdye9NJOEumASbw.41t6oYQHDD6VhImQFtdDR9kQXDd9lua0Qyu93SIbDW3HhuqHYeYR8bfJTUFxL0s7WZ9W9UxpPYg.sY0AezifcKHV07_A5ZN3CVH5AIDFo4OwU80v3aJuDih8oPn9HGtvCkivNNV0kvEG5FfdltsJmCpCR6ZVYOjmxzguDgvr6eCK_VSoj0fdt1vUOQ4fGudXtkHV5uzUePuxgVyiiMjOPIozAHcPBqiakVd3QvsK.A8eLoTzS_SAQxclpRT2niTOIX7puUgBbebs5jdamztlYLUJm1q3sB4HhgI5naDinqCpCC_TO9IA_puMRdvQb0UcWZZgeFJKCQvWSM3oWtyP4lz7EMdPeM5ZWX1DYIhX735f2pmunlrNSIOwv5FYG4JWWHaX8TGecLQUypPSF5M.iIb5smgYrE6iPAM8iL9QSE_CeIt0ctfFkeCUJrzgmfd7luPssBnzx.vkAVleL37iYJ0U.BAy88sw0Sy3YA3VHhS6FCai_kyKn.mZutM8jmCT7UlZZ.78DBO_Q29Oh3Wmcw0XTYDWSS8B7CWBa2pHlZr4QeUmfvdqIFc7BmKChlRvL7_Uuh83fOz4IwFJopA6OkPfM2ryX7J3kw3lL3GvssFPCWpEVRAs9gMaHVWcywu6hWT9NdMSTA8wiN9wyOnk6nLRg3RddEyi8NlEHDW184YsucH5XblrT2nHxODzn.FAWLMWa51MPeMS3sijeww2ZBXcNlnuNA8zAyaLm8K.sabmvVzcuYBCKMHQL29JAYA3IFLtfv9IbD453NpdaFK.qsdQ5QlrXcPfGkBypnmerCg9CBiXmz486HGJsnckwhMMyGf4AqSjk5AyERlBR1kLSmHUMrgvD5jQUyJAjni05SehppbTX7.mrl8lS7EHSR43mo5dC3vcS9wV4EjzueeEriHEfjOtTJ4Vn5xTACKd961HBwQcv3SvN_QX.LtN4op1gzzX_WVrK0A2Dyi2OgAb8dlG_Sj6MbmIrWL9pnCdhjPTsmc1RhwHXe8exG6d6lCTkyXZYLjTS28AZJhD_qZxRHodrdSkP1.7BhHUnj6OtBhWGl4XCw5yez9T3jfYXNeH0lfyiJ2Op9mMs0kxqxPF9.Sp9t8eJBEk.FhlBAN0dnZQBP8YRXw.",mdrd: "jCHUUFKNeo89H9GtL9A_QWqAGKjiFdBkdcJUaNus8eY-1744226137-1.2.1.1-2xqNMtKMB1fZ1_NKHghEK86Q9q51kyDm.1_H0._9h.UPFrGrT7dyRu6kyMXkkfdA0CGqR6jzUDVTk_uDeTpriC.E3LYrP7p8_dSo8I0UzjS2lcNG.ksokB0VS25Qu23XAAWxvEXjCZ7AR1KcphOPVcso1Sfsqdbzqc9RF1fPQv2ZQT2VeQLRuifs.Vi6z3STfL4Aso17reXg22WhC258wjgzEEBQLSb8TJJpIboPkJbv3364qZR94uzsg0W2t_yrQDg_jaFi2s8fBLiRCh_Bm6adZlcXo3KhCh7yH6FhHvVnpIC8yzokoCGQpljPqOdGBRMHtAcCAULvhBMtTjPln6rutyxh4iND6064i3ue7BPzLnmMs0EVdixexgSV3UKxSfgqB5GmEpoGE9nKEHo0mTeXw6dYYvdp43QvD2dFyge7qIX6uxWmjftVCERHPZJEtSHuuxyDy0Rz_Ru071VLoY1CG5RBfoY6GrKruok3F0kNMBhI_CsFAE_e97CV6bzW2.VTccsMsAKcT09R6Wu2EYrrj9V3wp5Fq8BKbgVFbRA8S5xmJN8ABkx1XQNMHGYm05u8Sp0eeYz5uB5gtbQ86_wX_Bd.YIRMiZztgXCObC6I5WvyE7RtVTzIK.C7HfAMJd3bMtq3XD_fv5SN_BoAwqvGQ4P7YXHwNQlMGblfAD9Ie3iFPDlF86ZGs12kt0kePr9JbYYjEheMvh.q8zHbxKnFl8imkengXWPC_9Jx556n4QbsVxjitoCGFQe.p3e33.20JTbqZQxdLUr.PcnIlaGrq1p8_7K94tZYu9Dkt9ExpnQ7BCQWBcRwuN2GMzsFk1TosgnGtmgxIlquWVmMv2t2Jq6Jk6w1NunVvgmEpjivo4e8S_po2ilSoGseG2cVSZ6wS6fZ1H0plK7HAkz7pp4gS5F8lWHjyOluOzfMXufpovpVdpyTmh5WHLKz5Omi82Eg4V6rjiNeEduPXt_IxHEKD7L8VGEk8yejhwIt1kMIYGBXrasBgLlU7xrHCh9tYik6RLJfXAYD0WVBHS75g2l0VpIrHfCHwWg.gMtHNMTsgEK3B_NriMLq_x_kRxx__FDlYPJKMgOErjQNw_pTHlKqfoRCLbBWh3YuJFdvtKETOZXsCPzxXRsPojgGmGUxWcUV920ZlgoLYqCoyQSME90raUWnbFEKzdrHLgHtena6WueXCTR1yJE_POhKQ8YgI4l9zAbU5eIMqf0M3v4pGt6Y5FJyoGpYKwAbw5o5tS6VDD2vqOKodNRjiIESKZnXKiP.N07ezsiHpWjcI9bc5EB3AP5prjnmJJ0SJg.TzwfbsEreJzy4NcT6VZZbgnnuqrkHAiLIcUespG46bKrKoatJ95flIxfFCa9a0u1jcoG5r9Zqk6XgyprphkoIyBVQy3Nc30DoEsyooJVBHY.pM2V9nFqNqXzSNjMm3fzijUeWlyCl3fq.v2R_PfL80_n.8VDx12p8vzxjmNafriDosqMDPRyntc0Rdi_.BzKAL7lLjV0UmJSMI7wCjwoTyEz8bxgTGM4Mx0XHCce3TGvwi36uJyS0DoyLQ8xdo8IjMtgSmAmlE6.v54jtaxRdfzgssVAxATNA03VSBEO_WetNCuuX83xpANQKn..sC.7jiNPGs.xm4PnMVLc9yymSEgBHGB5H0W1Hk9lBlEN9qhkB2gkkHuYLJIJxoYaHoi49GBbpJcC4vIyNrjHuOUzhd8r0CPSsHFoqSAJ.rbEW923G7s9MTobJfHnBw9UMC7aSXazu6ckFp0Eb4hmZbgTsJhHxr9oehV4mFj8Sg6kLvbk0TwuluU5nBVhhRUlG4ENWBvb0RM7Mr0qvwBUDFgG6dXyeqsi58_TXiPUjardYdRelqYFH5mc3Ik3OLUvQhZTpxTO7rbku4e4Bg4ycAaIauMEvFkkidEzOLASWEr4YKloKB3zO8lSzbGs8PKk6E23HcNe.4NSQgBxI68YK9sPs3nP36LIMul8_5ve7nA7hDPJ_NwXHx0oO934Dap.KmECjBQUsxV3DrjOaN.RyAv6WUx_6"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=92dc558eadb1499c';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\/4087?__cf_chl_rt_tk=rGX2LxjA3Rypeje.mqv8XFyPS0AVtTEdOLWuZl3DP8k-1744226137-1.0.1.1-dtwa546iG0CiHuS1wKAFyivz.Qtnb8pKacloaC9dowk" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>