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: '92dba7a968adce53',cH: 'eqJAVnEeLPiHFmKroRc0taGtDOGaHMjjtJKgzlpCiks-1744219014-1.2.1.1-XOemfx7XLqUePhdSrtgZm1_3NF431ghRxlmjgvfNTlgeqeFYMdJqRTAgPcCb4ltG',cUPMDTk: "\/software\/4332?__cf_chl_tk=qrD9KujBnboUUEvNqw5.CgFxDUiA78HD245XQ9f_VV8-1744219014-1.0.1.1-rvNwB3zdn7QQAOCxynTqbKvJJF_PySh5jqR7SaqOcFA",cFPWv: 'b',cITimeS: '1744219014',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/software\/4332?__cf_chl_f_tk=qrD9KujBnboUUEvNqw5.CgFxDUiA78HD245XQ9f_VV8-1744219014-1.0.1.1-rvNwB3zdn7QQAOCxynTqbKvJJF_PySh5jqR7SaqOcFA",md: "NEDF8XpiEYLgxaOdDWPDQI5Q_znepIkbYl4gkBw2Q5g-1744219014-1.2.1.1-1FCS4YSUyFkvsPJj0dpctwfGdZXTBXw6L7nwaYvS0zvgPu95qGkMgyc6zSzaK2HudavaxkbCm49d3H.fbV6UQir6uahjqzL9q2Lepm2klxcowDO8D7yTNmC8tHYwWTQT1IOWbb4rb6AFoQYQHwi22fJTO0cX2wNDG7LjzCLB3KD0SY6nyagiB8rI1XIDOXE4Bd6l39bKD0dbp5Y77DR8Ga7Sdeb8TFkwOKicM8dASn7U6j_hlvNFAhsnN3nDcNva6oYa66sFI5yBd9o.bqP2is80GUEJpHfG9qoWcGawpwEvmMhF1QV0WVgswesiItuX3xvcARLDRieuE5bQvDu_1nMjI15GCFUdLc3Nqv_USVp_dH5wIHTWi0otSHCZrwewQT06Ej87vrdBoifBUhqd_DXjjXEr6eXjAE.YZcHzzE.O9PmJhnRpX6N8rhDDb_.jzRt04NYqpMUzLfU338o065Oev.u5C6b7EWO.TMNpQ9hNnhobaDk76vCOvlqxyCSSBTUuNjWNoqIrK4pOndNaj3cA_tSeff_hVLeQcDZOStg0pPZ_pId2y9HC0jmoEnsaMIZTdbgc56QAyBT0zVX3MB2hGghrar7SMd7cLLgEnH9vi5GPUcd2vqVWT_HUU6ienpuPY09hXxNtieRq8lGqboI__TnCi7f_UTmtmDqnJH_3SK0mE7chelBX5S9v9RH4zCPq14lbsvXO9BtzQdmTmUYhDo_W.4RHs_M9NGV4iP5lqOIHT_KnrhNwolSVfVz0Ggq2_XPYVW.qn1l9240_6Pu0e5i3Go4ohkXz9MI0XNGwxNtBu3BXvSOebTRQ35S1OaEQmibUubqHDiN2o3YgYRGsMnmRuOEs1fiiq3pJz7s0Whvj.Fib_UPwozYPZLaNYSUguTfWNAewZG470VrCvdft7AO7W.sHHFKdgCi3Hx_qC48PwZK3yXwCwyNPuf1hU4jOPlyZG8IDrQjZ42xe7n3.VNPrVaxvz_wfEEcsEuyAGVuBRNlkBQDqNKRc0QRe1C6ic.M4LG8bUbKvfaewSdDcPh3fKGHy5F.hSClGgWj_JkKD.PIpcYKhx0ithLX7.7A8urDJPvaNkvp25zPjCYB0dp41_1y_I7wos87nH51NGNlfrq_TJ9ICv8GduOIcZ8NiMgyrqubhaw3q2d1iKXBN2WuZKDd3xKTAKNL.8vsUYW18B2ZB2YKc5nFCX_1X",mdrd: "iK.xbgBlOq373k0Dy94n4S_GkehBk.tj1eRYXWiu9lQ-1744219014-1.2.1.1-EXssNlJu0fjfyfnayGT3U2AvFRfwntR9ZimFLLmHc.epjnMf4bpJTleIM8JmLtHDKbGazuS91gZixDwuSmMkBcE1xJQR2_4T6dJ3bZVvwP3wGtlaoa.yIkH9AscrBecI3zdg8EkE_kUWEe0_kvD1bo24x3ImwzxcfTwfxr__mhP_7Ty4pbWMDPk4SNiEcAOzpbPCwnHrha5nSX4VekGqs5JHxB9SEtrrymLV3GKA63Ie6dLWWD5AtljwziI8EwSGLEqxGwYWnPf2NfDwKQ4XlxP9zmcIo8DEkey8Kgvs4J6oFgngBNbKE0MktzkKmLHg6bePixKkaB4uAE6RgmMJWZf3.jeaJjAj2PhB5UikvaQAK6dmBVEoKXDxesXp3Sovzc6LxEp5NTCTp2be7Neh2WJ6.YdYzJJmImnlkkwq9gYf6lCsoFD3kLAENDYhbfHKb5.qa3o_XaF6uj6mQ8PfUBO7KrelUNrw.At9Xo.ya39QpIDSPAYfCG9rl7ywLdbnavbgspWnppd4EfoNUGhzCrws_rx1Yl.aTR1THDnjclHFGHc_iiH8WhcslmQuZcSqjTf95hgectKEw1v8LmI8TAPlXWaNdrjYL97vfO7bRaaLYtfdkOTxDYQVcctwLvV4Xk1MAzhixTwImvOqIrxx89QEPLq6tN5hZiKKpCLA0B8S_aIEfIPCeJhPZLmh8OM7AxjZiBKjIYBGTNB6SmJoafpGSZiOLSWRLbAICZs2uxi_8QLOZ8wp6OhgU9WipyNJSy3ruTw9HaeJrWU9aPZ4NNIwBUYA.3HmIf5Vhm0tSqLkbV7do_l8_sAo_xBvr6d8UkDFc_mze8TwIzAFxHqQwAyXUS_4xK7.C2lM995iIp.Hy3vNG5Zxx3Dh3Qp6Qdu8WR8BvDBfrOO8BoqK7uq2pFN_XPOBmPdOaBHVpjVmqqYWSZ51Nx3Ao2nNzFxtFNxXW9KD4oD4TqVBTaa5yo9InKJiQXOd0Z5arxOVERnhfK830YXd80o9Y8nM1t5f2pycjUTmLLjHJlIS.0Smen1cdcEd5YqT8fMaROF_jsjDtN5QfSTVnD_snsM3x2bilud52kiaVxnGRG_SdIjI7h.2tK1yEH5dVRaxvMesLtRv89PMelsABokrWfZQIBvYRLN5St1c6XsVCjQB7qGJUqR2jXPXnGdDOUwzkms3eE0xyN37fk5MAQ0gYmGDjRLCL4P8uXfhY4JI.u30FxdpKIJqejUOCYo4ZfuDs74SDQucdsAvDqhaHV9_E0lSAMr3ZrmjmM9aylJeGN3fiv5mxBDIOqrUvpZSwTrElyU7LjwRWkbKP5i_7sF31dTEagmReaODyn_vLAaKVuHQZUhKpHCjPeO.iMsBdv3vNvxgJMPkU79luVQU.rB0hfqXKEPdsQNnCHzaWbsc534pKQ32MzC_HEHJK5CdPa5JxPyauezcAJQ1G0kFf6LneO_3cEhCO2WzYnzcoXrjqJTB2PSWmxInwNzz7mO_aqtcCq2RNMJEmoWIm1lfwFMOQcNWQrO4tJBEg2mW_1Ny_75GifTgXG7w0wNwY9ng0nAl.8WagvSyGgkb5_ge_thbGevejvfx2t293PQAoxj_1MYDbv65n2HN6UvUmA42wTx9h.gXMKeasB9hT9OnhZDoR7mC4YFzprDlFcIjOjcNQre9V.v8w04JRjFKICIx5Fe65rMOkRRNFmo_4ugl_oFCMz26upbUZyWtH_7tFIBs1oXWR16vGbhUFlsCnu94BnQIj1S7v1GRJB2H5IvpTaDkL9A0XMAtfANpdM4hQKwqZbf8_ISQs_Nh70g6ODus1UB28YE0kByWZ309IH0grtPqJ6sVTFLiIGd0m_AJNyCwp3Fau5wnwuHvyx5KDvdQwFDsfecZehW0zEjj40J69DY5oA3hp2E152ZigW4uiIMJSOiX0kxL7PkLGzmtyHJmkVY5WvW1Y0nnHF.jtbfplM_x_7njEH5llQ2GfW2W3qHgP1_iGk3NlpDwaisxyEo6I6plI3rbAfxksyhjag03uTjzOg5CWJWGKwRz8AZZhAtCz4_LjGTZ7mjBDA"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=92dba7a968adce53';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\/4332?__cf_chl_rt_tk=qrD9KujBnboUUEvNqw5.CgFxDUiA78HD245XQ9f_VV8-1744219014-1.0.1.1-rvNwB3zdn7QQAOCxynTqbKvJJF_PySh5jqR7SaqOcFA" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>