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: '92e82453dcfa40e0',cH: 'n3qYLBC1JI0yg7rQCUXBCWh00HZghU1wTaltI8Ku7C8-1744349950-1.2.1.1-kA_uRIiQSoge4z_.xSXpGZ.U735SjCjcREzL.F82XKD0s1RIeluNEprS7bH_pB2_',cUPMDTk: "\/software\/?__cf_chl_tk=wLJI_2CbIzdcd0OompAQSnRYavuDu8lW1C5Y2Lfet5E-1744349950-1.0.1.1-DZhJUduvKDvX4m_Qwwj0YbLcHezqGk9oAFKYX7IrNfs",cFPWv: 'b',cITimeS: '1744349950',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/software\/?__cf_chl_f_tk=wLJI_2CbIzdcd0OompAQSnRYavuDu8lW1C5Y2Lfet5E-1744349950-1.0.1.1-DZhJUduvKDvX4m_Qwwj0YbLcHezqGk9oAFKYX7IrNfs",md: "BsgM1_1tAm6ixgBx8ghC5iciLMvMHdARUVDAh1zrXCQ-1744349950-1.2.1.1-aTp3L7jFghpacXkzHtSTUBFwYIRzPI0cfIHWAmHUs9r2Fh19q8QP_JSMv7E13sJRK7_qND9RVfjNtXjoVyvhbrSlYG0TjZyxsT0LS5ilu1_f6duls5S3RD3qR9SrBG5wZNnFt8ef.Ymy22RVeroag8BsHDeIDd6il3TSUofO9wW1lw2zMPiBQRqZWJSMvjTFElAPUfWw11X3WYsQI1FZOcG5uQf5eZSNfh2JKp5thL0q79Li5BngMpk.LizCbBxctSAClaIOz_gtOnNagHsMqdHMQUz4V.Ie7hWa.9OEZ9pCRRLlVc4YJDgk5q7QjJNMtlxHUMixk4oGo07TQ0Z3uAnGVVmbGVcBo79nEN88ucKyFtTavls6NZpihbgKhcj2N8BFeyMKW_1smRMH6QpZ4IysWBD3RlBJjaAl9vg26q3S1Vix9OPzue98tcbHIMVwNTXmf_eSymCSas22jWsZO86wtD56U5X2o6mUjM_9m9L_33kVHDk_Xpa8pumlWzPdgAJjur8LVYqNf7ifrD.V57m7Htm_8XtA_Lych85t3Q7i.7ad_5uFkLIEOcFvsjEj6SY3_R24KJ.BABjT14Z1dCLB9jsYx93deepzU1MpFs_vKcYpbi90TUprlJ1UW1WDfZze.MsO3Jc71CdLNvJn_gZfjzfJcMX01TGxg5R9lcR9o7N6fRkVIWDQiOZuWXG3IiFWiuzGz_df3eyGcsPzvpCY6b3X0U1d3G04yjkQKv7Ke._Z5FexFrgYdAUY1h4tLhYozcW_D5EQqmoJTpknid8A2P9j4j0sQZknR1fVjNCs2aYwGt85n4tSJpMPNEi7S_NDlqp8JsESaCExteJ2jCajK_n.euCx3f..AUDyCSDv1GUzEdKhZ6f.cAdahRQ7PcwFftwldPRbgt2hbG4uVEGnvC_dUuswkcihe7G4rPs4Hmy9kjaPjBF9dFNclEZvAx4MN50iUYs7vsVV.k0Oco8gFozfpwfCHBXNcy.SQ0caTrtyhlSbbfULaJyTCmlEolVncpVvcgXj1FFK7uOwYPE0yAPoZlZR0DHBHoMK3iZkrTQkx4X8UCadmrBc3KXQDJDMiZiogl_m5R7EPwGJovyCm0xeUxT9I.R.zrtOr__pQ.5P3DyiC1uQJvM9lkcDjDaG10IZ6txI2ltp1crOj0dDMkqsXplkwI32kUcAdKtEKw4Ann5jsH2sv4LP9dY0",mdrd: "RiS015SWc_bylmZ0TzrFHp2ZaKu4eG3ZHjzhllijwXo-1744349950-1.2.1.1-PljR99mGfNOSi5i4J7yFpbRXpYaeQxpNo5Y8mT3Cugyhp9esFQL_5uzVw_wYlWP4HaMGj2fbYbsKP9BRz2fCqbPlT8qdwE2_AD0LVeewLxQ2QgcllfhFTLv2kjPTHj1NOrGvS0u4Lawm4AkzVo7tougkiuzoFa6WDkB2JniJRCbiiEcsh1oLvbHdGlrCwo1FekViqOEy1AmreXaYmD5FE71Wd2C_DVPnVffELVE9qlOHu_eTfHZS7UEQ25amsUyXB2wW68kvCdUEBMHx9USKs2hEpI..cIBbtIJbPtzZehm0mMrU0aIUZ2U67d5vKtxP3ktFkkGH7Er2lJOUrPCTsytGphUjjM7K_jYP3UKVC7hdeIhQ857Fw1Ez76lC6wW.8gHXuXdEVkhErxeCHEJxgg4KDmV7kd_dphQRtB106aWe3F0nkr_qT9Q4pqkjTsNHiuUTAWuY0anQkV084vaTFKTKBU2JD.9_K8Y.Os7PLd1B2bg9dbj_6PejvvRcArxO0YQ65.T8f2F.__49259oCw7q0f0DWcaM_nVjGXxDQjDBTIy4cj4M5wQI_DVfCblEEVeRmCpWjMK0d80IAn6scy_NCJAVO.VLrNY2oG7iHvh.qs3JmoWZm.eD8q6LsDIwGdrtuiwUh8QK1NMb1x7Tugcr5z6q9a6MaYGfZVWU5eMJAU5XPO4azILczYkYzaB1ngIQjmS9OhkGLSWNL_L6UXyTfYerooqf_H_riXlvybjeUsC035uVYcHm2V0cEjYLWLz6ElYhOqtj29UQJavj9HxhCsblD3mZlOqlnrkb3t7fekTEVfVBusOo2EHHd9FUGlf53pRl4U5LrZvJwHDVtpLn9ZSTyLO47OcGSLtHU97AuiUJyYMbOVeZEoTi0it8kfnrSAU.q_IMlgBf93UsgAZONXU6mxCsLng1m_XrcGBdjlM4c6Hx7fYLGNh9p2vgb9QxnqrPlQ.Es396CxyNMfdo6aFZYsLoyh63CbmtC5.OoVu_oT4VKa7GOpHz8I4St_Dq1kbRAMCJMiVzak35LONNUzKodlrtlYjLwNvxCT5gKEhzsn6CNxe7d4Lq7XUfznai46CA6ng.eaAI_rk0a0IF23tKl9DO2WGeRD93AlFnmYAdDzsvNqEqkMna0YX4HGjIcLCJXOLqSKQbK12BrRyXptlWvX2MmjPKT0LPHauHbXpdkQxE2PVBOFgg.8442SQtzamSUeIfM7Daep1DfbduiZswSRnACRjR2tF5eaoJBk2iEsK91.ZJeapEFiGYMFdT9.MziNzkkX33E89c91Vc6h7.05cimV84BRbSzYYVG8DR9fEhWocfrBORnHgFyWkDJ03MYFPwVWp2oI2E3jimdOgWOkDpOs50soTNlZdGLaLvfKQ9RQDWbZoMBLKi1dILuAhtXUr4MUZezPYadhwIkFnIdAVW7veTR21_fuVLy333Q37UqXP8ZKsqrtepyka3EXesszjJiCOTcK33D8nKpywNKWZM.gcvjP0dWBkg_5qohGJB.CQRPhqo7fxUypnDV8XUueGhmWdc_lSaNKXdAXg_g.Lq3rLGc89F1N0JU09RDgXP_gkuBLlj9Dnw1KSZnx3RMTPOuXE9ly7yofyhtzQFR98oL5AAwybBB9V9FkKm_06kcxWG4aT_iaGD48ugaV0SWgO9Yzr10b5kajR25G8Bftsrrp.GmNLSpcZlimfZEdGZE7E.9.5ijbYRPPFzgBujqKnkqpo9xJLVtf8j7V1xnM8XR6haggtDKPEW7wOTIjYFergB6eqmZOSoBwWvVxhPq5EqpF12HC6YxbpyTvyPBADyRsXXcFOad8mt.rDDo5Eew.ytBBrFrfyB9yIagTCFN6arxdQkJIhNhcH853vBd4J2RDqoS0HjNylCnfnU6fn3m1da.o16DInxeIehJng52biwWf14sltGk7STZgZVMofJCDbQlRmWN1kwhpERf1ZCaimTgeEx3lUWm1OmuNyGj2KOmTmNS.X57jUzm8xrnnogKu8o4otghORsxGpR1DnJP1rJifPQuNyC"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=92e82453dcfa40e0';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=wLJI_2CbIzdcd0OompAQSnRYavuDu8lW1C5Y2Lfet5E-1744349950-1.0.1.1-DZhJUduvKDvX4m_Qwwj0YbLcHezqGk9oAFKYX7IrNfs" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>