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: '92d67df62d30fdb0',cH: 'GhS6qPVkC6o0LwL.GWV8on2AxsYXfSNjMmkNEnmlH0I-1744164877-1.2.1.1-TD8dpgGjwDJUNIaztyHJzvMDbX12yccWzUH_d7ZqkfhPO8N5_GNzRakesKVZqcox',cUPMDTk: "\/1375.65042?__cf_chl_tk=HG0v_KVu5L9ttVcR_DGd0MG5djQ4YexIV7OSFBJmHrU-1744164877-1.0.1.1-dk0bZdrCeuhcEQQzyHShUmYAq7v4H40KX.JR_B5SGV8",cFPWv: 'g',cITimeS: '1744164877',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/1375.65042?__cf_chl_f_tk=HG0v_KVu5L9ttVcR_DGd0MG5djQ4YexIV7OSFBJmHrU-1744164877-1.0.1.1-dk0bZdrCeuhcEQQzyHShUmYAq7v4H40KX.JR_B5SGV8",md: "ZWdwe2yFHoXBNabq2BV1J.jR7PzqHSTMXAgBNmgdNdo-1744164877-1.2.1.1-z5LFUbmrMtiF8Xs02OtmHWyVpTIWGPT1tFXTH9ZiQInjBSPn6GlmxL9U8bek3y14r5PWnfaOx4xy8fwO0K5tz32rTJ2qqeSRnAcrUD6518DjEfeApvhITDig5OZw2imR793chi_FARKcLkyt0zXpvDAH_R27qLEAWnUYwJAzXCE6z4coHegxRxj80TcmkVa.nTO1.XAxv9hYrgouPhlVN2YewdR2Q1xuY4ZzVnjc8KXFsLdGVuFUuZ0_M76vhwzq.2nRSwcDV9U9aOE1lc5P0jaCBxo8q4bXCY2m3FdPsg_hcJC4XYhk6M50mimbOTpqPFgHvSUC2dQA1J2HwFTWgoiE4VPVSwRUcJs9Ri0MifgKN_LexXkTqmnHscMCD1tW193RZ29cJZQwuS9HzORitoByKVLGlMdYuD14i5BDBc_DpUrlHYV0DROH_7fh4m3k8etQ_arRHz5P_uR82VkmrVvYjrlHch4gLSUGlOy_utaIvOu9wSay9Y6NLgxcyuttHFN16OzCj8m_7GyZhpR3zEBUzn7i8jZMfIypekAmSVL5fi3_1Ersk1t9Ljk0Pj60.j6A5zmNt17OmhRLuS.eCQUs70fQBc4peH_X0zrcG64yZt1HIvUZMNl0550.cyUbKUDwUIeFuogUy7uPjNYGHf.yFwx_cs9hw.8b0ymX1wbnjYshBHZJf49msy8jxBmUDVcLDE2un4z7l.T0NRkX__FJKE73aQ0qPNp.5kftnPoyKBlC5AKk9Nt0Ndy2.hAfyAI0C04t6HywwPlwqDbhcoaZ0KMifSJBGtVDHZhsp50qowhB5huD4JQPMzJ_6nUVaqOHaI5svio2r3J1I3AfDRK.UAyRLWexH6Yo.CfnS2D14gnu.amx1V9JEkBIB432fu0rz.jiIWMhPkDxKsS0S5Ce2y2Ov9HfbjtpoGlWdoDMOGc9Ka16o.NpWZwqzG.bTvC4Of5WzycZ0XJCujUSt3zxQ8pdY9UfvCKtbbkJdZccif8w4hCHM5AR0Nq3JpVPHUEd29.voU42S0u.p28XixPK_D80hNHY85ZH_wkA83zSM0oBicAf6ty3_VPz5GyKGoH08CD3GhDZ3iyeh7QORQQPYjaFpGlBK2dGcba5Ku06AdUo7gGyjjckI2eQlfCCL8kz6XYyFEWIPmizyjdXMoid3eMw.tTxW_WVFBBYjfgJ7Jp1FKHvrUczo6wW2.Ba",mdrd: "Wp1LD4OLSjqa45qibdUQlBurNepNVVdSpWqzIVJVL8I-1744164877-1.2.1.1-IlTKfwrlmOkNgPWT65ZmK1z.Bte9MuxuRTf0KlFUNo6P3I2_qT8.Hai1qb6cqFui1Qg4O87eL8yfgdJenzIROYqlhyTj1T3oux.Vjt5C8z1pfl45BIABp2BHwQpwjhD1D9_OMhyUqL1sqPVMS5DiwQ8xC2mxhsPu_BEqVasD0PFRvoDU0OxBJ0uWBDLUQfyNXYe4C7RXdGA7NzpJ9ncaZm7mReou8yypeUMxtqiXOtkDVPlhTQNnR1.fkUpDYVZCMhJ3Eaoz1b4U4nuVR8NHcAEpN_i_TGwyDW57vUpeiAavm1NhsPawY3DNAirhu_lJAsnHcWUf3tAfss8hBDQimM10ob3f.WWPOeHyMiTv92NVQjBdFU9YV25eRcKnL1kcf5ey6zEBNoIChpAOLWtAax0eN6Mc1vND6Xw7y1_1_I0C9e9gqgi.8_Qxkja5I62kWnj2gbLXYr3ukYJZdKLX3x1VsC7NEgEGuAy9BCfvCFdxzLOubsm7euWb3jM6pKsfGlYBUko43N2pVQ4vaekG9GUdMUgfiufIU7C0PCGk8EytDDTAeaY0Gp8rILdDRqJlI0moHA2_gxMY1HcXOTAu7v_pVFy6wiNhah7a_4ZwB7N3P59sOayar4AGWxfKrwYIf0ynbz83sNUGvmFsledcrZ.._HJXtgF.K3KGkjjZmtcIfFO2rq.ERagvL2af4vWi5IxttmQtCrixqALjecQMGXohxOm9.DGU_Ns01ywF6TJKrcTUs5abXTGcKY5327LkuQ75eALoPCrJQdfKZV6sKOnnHlAqU.OwBDsZDvShIN5eeUsAx4WCwCNEEUNQ.VRzXBOkhGpGjf31ZK_HKAKujkGE13HwSb7dQn83mEGUbqUvXlaz_2L21pZTtrY4JWDsIUDLOzZMahoxZDVPIFI_NnmX92.2njXRaf2y1N_iJZQdmrxMVfnWoxc1JK8y4Xbdip1WvSeFRyTxLw9lZYDHcQtgUqWF_dvUg8TpkS0djXwVbTXUIW.1bi.SKNGYsHEz5G4Py0WvLtUufk4jgjdyBDfetF6GDdv4XfQFK90uZUeGyZMM9X__GHAPUq4T5XfHrACncxwCqG6efAfhUB24WUay3AvKC5N94mggzR1BSAI.dSOdeiyEyrUq31neaEozOxRKElxby96kq.qODlx8pNbDiYOsYosUok8hEUhVIjq7TXuFUOroMFD37HrHETQfhJL838tbbDhCxICpKl2COaW3ChFVQLdmmGd7DsXWvB8KxJKF6tZBEPdHdQ3e7hsv8Ta7ddpHhxgDtPuc1S8mUGNA3QLrfBcYUZdPY8DJvmAzzgd0W5.6hp8WqXFYPGdqeKG7nb.zAjvU_Z1Q17ov6rgQ31msoxwo9LsZB7WGaXcLykyZia5mSrr557hV7U7l.CJpAZb.nngS0mWHRlePpSlb78zS26q_BG9IsUI60JiG29j2roLqVGq1fg3LcdSOgL1x.IS2hLg6Ai8uGqU40hBsz3crKllpjM29X8W2k1CscxVm8p1IzDuVlHKwBd7StCIvqRzII8aK6EhCJXYSNa2oLK3y9bV5lR6fKnZDGFOBGDjLv0vf3FcJo50GiRZZuZboFyyYjdGtXx3nLm8VO3S_6eLRB.uFm.Zm_gFfpiQB6ty76oT95Y24l018GATXAycKpe8mA9luNLZeXBbwW0WtSVeF42giTgJo8NpbaSh865PYK.v8FdxBgHlTKDK4khMfeuxS1EZ_vV6e9kRS89aViQuSYuukvO0cxviNCLqltZgfw5p_aKni_r2pD58W_K.C1.ylJsStVFrJUN.MvxFuKy_WmM_cEIM60GfWNCCeuKD9mhc4Z6CLjuMRhcWviGMbz4incuGP2a7SH0u7RR9MdZNNUh28I78WBAYNHsdMsuxBVb600wJOggP.Vnx5NA4axZGSs4n1yJagnrOzGBb37NsM4jkRgsFFy8DhRW3N4JlKZfsA7ll2hewuoe1s9aJCtZmMJXCkRAyLAAMgJipels5nxrrLexswYM1O.eUOiXh5VmLodK3O.4.KXwGp"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=92d67df62d30fdb0';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, "\/1375.65042?__cf_chl_rt_tk=HG0v_KVu5L9ttVcR_DGd0MG5djQ4YexIV7OSFBJmHrU-1744164877-1.0.1.1-dk0bZdrCeuhcEQQzyHShUmYAq7v4H40KX.JR_B5SGV8" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>