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: '92d3a7cbecc4fe87',cH: 'nRPtSs9ajPJI7j7RUSPasvFsHw1SfZqCysM.oZqV8ZI-1744135134-1.2.1.1-tNMZKeOtdK8sOj9AvJtQMQtSmZW54zuFpz4M.ELUbV8FFLcRSCwQ0urb2TPjIx5e',cUPMDTk: "\/software\/?__cf_chl_tk=UFhXJdg.MSrrgTOoCpE8Kr_P7AIl_FQVC_GSBmsOqg4-1744135134-1.0.1.1-U4uxjaI69direl3_aDuFuA3IqPwOuAwZCUjAId84R3M",cFPWv: 'g',cITimeS: '1744135134',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/software\/?__cf_chl_f_tk=UFhXJdg.MSrrgTOoCpE8Kr_P7AIl_FQVC_GSBmsOqg4-1744135134-1.0.1.1-U4uxjaI69direl3_aDuFuA3IqPwOuAwZCUjAId84R3M",md: "X6lrgoFnAyzJvZX8taasZKR9Ug9vlvre669pO_AClxQ-1744135134-1.2.1.1-8rx0qXCa.HYFdoEd09.pp3GwuM8_pepnR7VA1Ha3R5PHdv61Ipq3RQDp5YL6Kdia71i4.DOe2NtIKGtEK5SrQkLJUp1RgjMBUaFIwJVfFzpyk1MUOrEBHZrv9efyQIFKHd4YaLhPoeoMGQfco2qEicMWqrjSJk1pYxDLWUW3IH_Xx6NGutG9nYxMVDYNBocAXYgh12R9DFVDrGcrKJZmRe5IxXCVc5dTBIy2HiHZh.IP5_weUg3WpkJZfATdmcF4wqenWYbPOtnhCHMPv7OqcrVYskiMt_KVKK6kcGCSm6AnrJB3zkzByNtegTzsiWP0uH.5sCY0ydjJj2gR.qD_L04AqqnkvHOugNcYrWYWsbvLpY863aYJvuGmbL1ECMTh87MNoKNuDZFfxPGnoAPxBBCzIgvjmVYOwLsDsjwLkQb92xPHl5Vkr5frnP3QynJ1IXGfzBf3PzXhpWFJ6.e3MY5UmzBObKhb1Udxd.F.aiMCg4gbkJXq4zTXjRNR8UWdX__NzB50CpJpTDein4Qat6WOUaX8vmCc2lklMFppAVn1EkXIPAyte.3DBDFMeeyGZsH4prANAA7a70vESQpwFy0pg9ebfTHcm1gJdeUJ0Wz4TCYLtY1LaF54EJ7DL9JTSn9IrPVp9iuX.DcHEgX.rgtXXqUycl5lYIgUPbA0lmAQ0s8VphhGlPj_EOtpK7Fp4IIynIC.9lvxpropHAAfmPxGTFLAoBp8UE6okK8cFdyPDGR_bsy8jBVHPmYxAiRkPAJhWEr5uZgrRlRZkwuQHxBs3P.qXv07g3MO73Vqvv6pvGeHJTWGjT10vtlKgR_SKApLDQZuzEzY1zJ5def1QRHFZUhCWOflo.zBfTJCotH_CorH.l8_4dmafn_U6EKBBNRvoEDlGXEcO7Q_kvSySeO5.WgFsa4WQ3FYY3DljpXaiqzCmgXsdCWPNKBx6dWNfc0ZQ3hgSAba3Y5njfxPtp9Ej0C8f_vkuJfZ70bBOdZ_Uf.ZLpYQp46TiutdBQpb2_V_qSogmEjdQIWcpv5iCIcXIMwZ1ouXXzdoorvPU2SzHZEDR1IB97axH_6gZdExW5I552ydE39MD4MnI.qjxzIBLX0hxg9CuAlcelY8dGF5q7KAYi9b4qu37h5swMhiqWKBC9xLv8w32rY9B5_ToV0P6vt9cjI1lzXTSNcf_G9ihdJRGtDntN.EAcWSCqy1",mdrd: "SwxAtrOJ.CurF4IleQSOKg8kfFRKw.UwMxQYpbHiAWI-1744135134-1.2.1.1-kQKj0axRcNbI7oLVi_tTGyTOuuQAWJjJZYecFxQ0mQfDYjGzbnbL29XTK7iP2DAWaGCIifflYbdMyMVq8EG4toxQvC6XxKoenOR56cXn38CYYKdRu1VPxNoZ5F1eDQ_UjCvkFeNwJDCj6FmInLT8KHNpCFWQj8E3wFL2B_bSII2j66ojsxeppC4_KBpqPk7GRp6KFyRtdvLXxabQrnGsteIxBYh6L5q76dPyKXLn84vGeSXjuYsT.qXGKPJKR5AMn_EYvtynbw1fN0mIKARwAuhtPZKPQg62HeWGntQLTavst_Wg2ga4V3YOGgTGyw3.FoosNPrc4LOQK6CcpvKuTIH3fBh.t1NzIuHNC0nwqZwNqf3gZjZGgbSnYMt08QuZz_J9qjbAV6zoLlQv19_KRFpbRmSwLzBwXozNTa4xOEqa_OCTkEsQFFDc8c4_bRSFc_gg1j181qZNU9mfLg38NdAic084TLracE2k_kXzFTTDe3ewmr_Nn8zZKo4VgPLOcwaBy5MhzRTxYIdy5Awbxppf3huXERcVxyKKGvAYrs8JRK_Vxidl9H5Iz9_.KdMXVE.kCeepymWqcCgWXJ4nZVCqsEO5IXETciK8Gx8y0HLFDIyo8dYY2SuXAcBoYrTTf70VCoZS6ojYZBc__wjLErtKFEnaI3xHdtGGtgdYHqzWh0DZwTfEBLc5BYVqCY5z1tCg9.uMSP2unp2.ju8AcITgORNnTaZfTyP5DbDr7LIsuBi2AoVEr0VKPgObCzV79jDf2BoM.33FqCRG8QlavHPu_rTc8GVoDDAboZUSJaN809z5_JQA86F3xXwoUiGfpRtulu3B5iPg3WVffdT4tZoB4R9cYaEiPKNPo31yBjk3oFplzMj9kN.B8SjTyIX3Aw3afJBJ.PjoaPnJzgy.ZbKClR0WP.aKlNi3gN4CDLfD_5ppGTGIMPcgcItxiQU6y8lII2dLucsfwzbQoVaglGBRLtRvYrd8F0DtCgmJDO2kjbCTrxX4NQBB1xcrE53BpFsCYfEEHTwzbD5BkC5.MWPo8QvKWXivAJtnf88TT21Dsga5gW8980ocArCMD0lyvkvtBRx7m2qnswbvKTkDb4Pshtcx4sJn4LnQGjr06aEDg6DwB.YcKDHIBm94nQKVMGmSoF56sGXjKDtf.IJevN2Rb0z41K8zi1gQfFE3RO7ApwSWaqmT3B51HmQOuQNO3JbJU08k78nGV1hc.6GSUaO0VVvyz69tDtc_HkwuxsYOOkM3bw4enlHGk37Y2Q17l6BeC0zkHQtDFX3f82ib0DIT4aSbmj5JegBr9H0_8MLHnehZ8QHHm23KH1wlKAUX3nw2v2PdxhjMZhoUG42l4EPW0ffK_D1G6T0uKdh2VEZswRfNYp11T4McIWuaYpBnLjBtmkrX8CWgQsuB1QYecLewquvdly_zRWdETAxPTaD5HyPTzvQonbMcQhdjtm4IYDdmkUvtnFLIxxTXAaTCTPxj_ItlFpGzk3Y8yIPQugaVW55est7igX0ENz0x90.Bb7PHcbBMMllb1trpy9spyvmudKPIsB9bxd0oJ7k40O9Pj4HV95.DfJboS18AZB8puUblyO8QkU6jV7bUz7L6LLVLLLuSNDrerhyU.NF7sTPINzKnC5mvbBIoIT7l_gWUYzOHsPjFQsX1Ss_O.Dtj5BQ4npwsyjwNi__KKOL8kijQ9umJyOkT5PSsQEH_GOwAN_5GbNxjISAfEXTq9rzyV6tLv4ueZc6o90EGUdsizFCJOcFaihXwS0_z7CCQovr.VUhSHYOQvph7bWhsJYfq7K2UJsmnvR7LG5JW_irTO6tU73yRh0aT6GL9sSOfO8aduaKx8EQi3J.au8AXaq0TrwwQiSzowm0afETc0tsKqJaUf7k42a_Pj71uTK6LM3x.autPR0EQu_njqznLkaM6PO.OH2.gO.irKn18q9b0kkfgtrHUq5dkXE3bTJ0ERhJ0uEyrPHpQ9P1RV.TwYJtQNVnr6g9nWk2AlHt1ZHOh6sSRO2_FndO7ZLYTr.6uKiyV"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=92d3a7cbecc4fe87';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\/?__cf_chl_rt_tk=UFhXJdg.MSrrgTOoCpE8Kr_P7AIl_FQVC_GSBmsOqg4-1744135134-1.0.1.1-U4uxjaI69direl3_aDuFuA3IqPwOuAwZCUjAId84R3M" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>