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: '92d3dd52187a5fae',cH: 'H2stHXHeFnMA3KsKAjiIkwp5N23Rfo1vi0HUgH92A20-1744137326-1.2.1.1-a7Kmtu_NVbALOboeizz7YaSK.OmhnyxU.yYwnRheLJ..E8JctJ3qn3UnDXVQOQUx',cUPMDTk: "\/0755.62064?__cf_chl_tk=Hkoo10NGftUcn6je.5g3sEmTug4bEP3oSGC8qeuoahc-1744137326-1.0.1.1-Coazb0qYK0Gh45WJAA6KEOIudF3vT73tNVvpLzcw4P4",cFPWv: 'g',cITimeS: '1744137326',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/0755.62064?__cf_chl_f_tk=Hkoo10NGftUcn6je.5g3sEmTug4bEP3oSGC8qeuoahc-1744137326-1.0.1.1-Coazb0qYK0Gh45WJAA6KEOIudF3vT73tNVvpLzcw4P4",md: "Dri4du3rJPB45.8CgNGPN20r9AWzFtePxrLAne5vBpc-1744137326-1.2.1.1-HxMfOo60j_XJEl2eJaPxB1iqeCrqJKuul6NwaLl6LO0oiGJ7L3Rk0tzN8lCNd1Xjbpf.vdg6NLpiPWT7kbs1oNdYeltEPx3X0SsHcocRdoakHyBJKvtcSesLaA63F1a3WPmqDC0dBKBt9pmFgp5efDl_yp6GE.kZihOYl4UVaUF5kZxwMDNJlRB.NZYb0kwWGR1wtHaVwImFYrFPhoxyts.kbMvAFq9.6U8H3SLqUcujz_pHqVE5m9rRr86STbixNXSvcRPXGoPBrWmvmcf9I_S7FzsS2zmX7QykZGEoFdz.bN6jIC6WHjPSZExmuBTPD5VGSCcEJNWusmmNomz89.aOvd7.Vd7bG.VXJdcD2SnJWudNVuxYIkJCdTFhIkiq_ikiRUsoePFVoEPBV7meqXve.5L7d8LwO3S.JLs6HIpvSRUR4f8nw6kLefw3fRROdVlAIGTVWw5JCPmNFNeA6tqSVF87mF_AOH.dVZhD1D_Im4X6EuwXLWUtbF9vc.T5W.SKz3Ic3h14s.gDelkw6AUset_1b855EVWcE0rBs0pidKd4jg6i7NDr6aaQt2NKbawFM.FeOh7hwu8yYheXMPA29N09EqWD3iV_spwuRkLh9V5XEYoCXLcjMzk6AXEFUYhfXCN7xeFkO2KE2CCnEPfpvO3v1ui_2XlQ7j6DpGTfKIytLOlZQP7H9zJqgzOXcYq1KPMD1rEU2PBTIh95hybV1pLvq9aZIEe5.YPSTxNfnqXVDiVrFxDSiDHhgrPfNQYTpYqhVHhN7qBYg2QI01rhYZjhpyGsDIYwiOzmRUNTL1T77L3MxBcsD.FOsOnLX1UC09wwIonWoKcc_WuTWGzIy2M.iYB2btwjQEEHO46rmezhNiXze9wo8l8kivWQJpclOjnqG2R.AccmRAUPZlMF9cZ6ZZnGR6gmdksTBuw5ILalydM58OvgmtkqIzRcp2...GqU.hMfICfcDMCNdIL6V_ZYZDMef0VKRopNN_GxgGAmgwzd2YX.m.yM5vY1.eHCXGlDRw1ITib7Kxz8bKaa_9XJIkaZnBhyNpfix2eVhXdGvrG_j_DP3hdZN.UnODVVspyuBdMJiDi.GqhChDJqpDguFCCHIzjGtkd7.udOAm8LxwI_gZcHCgefGntK5AWz4tUWr1gfduxBoRYot0dVnK8F.GJ2jPhZ2XfdRRofrMedWvLI1gM8DZrqW.66",mdrd: "nmOAEpOx.1mBHZLz1jLG_vNHgiJU0E72FLqLPYw8_pY-1744137326-1.2.1.1-y4pQNqrc4wtX2ziMnKsX876RWllV61u_a.lK7Z1.eo3s9qVYGhf2CLY2nWOXVzomo1zjEdu6FebpC5fi18uh0p0rVqaG7V.19kCykRQHTnph0eOkFIVIA1pjlzoai.aPjmo4OjzvBi9UCktCPEzBmm7UG3xpjeyoRD2hmg5YAU.SLoSRhBmvmlcxhhKiPl0KMcXwYGzNM9SMmdSVnfVz.9BC6I_UADQZsRQMlzSymnKEBfIWO7mtbuvu3eFZz2753OnspANy1bOBRLYNNWDTjr8lrzgrO2DrASyJjaG5bPsT9QD4ARYS53FMbIOM2sH4fx_vQnmfxn5TnXousBdJhxpkzzZKNWdUr.fg25qgbqBCPi6Xu4DJO4eps2662rVoeC3IGLxyVw5DTHXyXlfbNvGNn.wKpFTMDkmTA3_jFXdY7ZtDHu6frFQdLRB487u.rSETgbyGJ048QEvxdtthA1ngvqNccfC_g35zeBSFFdGY7syEe.7qzOOdJvB_RsMyQp4QiH4U9JYOtGTFSuZhzcSRZ_td8cucrp8k6xdaVCF_SQ4czOgdX3teeK.robxpUHqph9U9SuTHz4mOzaU1hFC8gi0C6MlEEdwFwgNwU.YPAyHyTQG8ioz6uIv32i7so7a2rWYTXWqbkpT1h77f0B46CXGh762yOU9bHl7Z.c7soHgGOcctvTxMpWc2KJekEO3mqnglDZNemydHe3wgRVU2KHOtPlNBy5TpaDOBJfc7TNl_Fw0Z8t7qWz8rujSIUPeKkxPdKCCefBFZfR_73HcAVGYnmEAeRB74FoWtQ9iZWxV0.vsO21Sc1FHFEo72GwtKbALuzmYJNytxnk8.ZqMFUUiJ3_Ipo90Qz9L2yk7_1nGx4MXrFYD6NJ8bdysP4D65ZfdrKxoEYIBJ4U9DgnDCZ.9G8VcXgSLFR6e74Mq3vkuHjZPdH4S80Y2sAyyi_HmBlohOCkF9XusQSxi9IUDaPrv199i4ZOXJjmnsf8T0DoFs8fMDuW9QSKB31s2FnyZyhE81x0H.MlSE_AxYmUmqNAxUnVSu5XIBtPk.CNM4DkppL5W0Kdub823mC3jKnEE8EIKIkhvqfTzIIfXwePaqpS_qQmRAHyoHdbh7FcyiyKK7PSPxR0IBgEGHZIW7JJh9X4CaHOl0aMdDDCrl17tAcMnr02TjOQBQQq9w_aearPfSoBOMKwb0ybO9M_1aLW5gA2z7EvHxKSF2UeWXzAe4x2WymUr6YPbOIzj0c83GgWe0KZwYCObg5O0.tKbS6r1.a6FSoz2gLzFi3mxbl5C4Te2g96CsJbDliTkwFqU8bTzYWFsSItbVOv2un08..K_Y0Xm5iZQglNtS9EpHstcitw40YdDuDK.AQmxZNK6zM40sqrWZkdIll3J8.GeDCI83oTu4tMTGCxgJIuCzozxASpByXAgf2TfSz9DOVuSMVbiQGTskfyQFGfwckrsI1k4MVZGCjSoVZSEiwinBsYhaYNyUHFxIpX6au2kEXfxflEIVrUhvfxkETIQArJVjCLenn54EhXpyBZvjStKctxGLONjrtmI9f2_tJ1QwYfT1.Hzjco2eQn_veNS3kqqOelJP70Vgh2xkRdbMsB6WRjhj6mg_b73B4xLuEo2FB85G.WFGgkxEk6EVerfeae0zNFHaSUekBaLSI9Rvpeo0pJ3eypjaCx6VrrIm9GaR9MTQSna8zZzDlLefxYgNnYGgsFx2ueDimwCCZaxxGW0EKqSIjpw8oq4c_EViFaRtfaGJEpTEu6wBqjH398SHKGObnV6R.wb2uTWU8h1jO6xT375vE8qt5AkfD_kPRSeTl2HOWedCa9q2HkDaLORMtLD80wzz64v3lrAWMG1U3lqibl6Gh0FLqgWCESNvzNjjnRYycB2pVIr7R0fENzv0YlBDHGhzCOeKFWyTG7K_1iTfdxiJzyWIT5ygQMvrCxBZXnSuytJlmeGzF7p__DOGzcaorcvNUS1zpG38wIRsw_qmQwz0g2SJzqaBi0oIRJnJud3KDQd6ZitZZCgvaB7NZTRh0jUx1z_1ex4TNka1uK2pqQ"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=92d3dd52187a5fae';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, "\/0755.62064?__cf_chl_rt_tk=Hkoo10NGftUcn6je.5g3sEmTug4bEP3oSGC8qeuoahc-1744137326-1.0.1.1-Coazb0qYK0Gh45WJAA6KEOIudF3vT73tNVvpLzcw4P4" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>