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: '92d94e249888fd71',cH: 'MHJRZ8N5REQL5p39Ejm0uOoujwQy0n7viw.rfksq6v8-1744194376-1.2.1.1-rTPla8IUy7DDff3gX32k8cLuLHyJzIzeVubfmRrwc1sEurXGPI.teRq0tWlL4xfd',cUPMDTk: "\/1062.90001?__cf_chl_tk=XKgAiRMfWUceKqTrrkix644yiEZXlk7aM1uoJyg1kGw-1744194376-1.0.1.1-PqGwza9bMFR7w5kqIos_vCxQwW0NRApr6szG6kY1Ydo",cFPWv: 'g',cITimeS: '1744194376',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/1062.90001?__cf_chl_f_tk=XKgAiRMfWUceKqTrrkix644yiEZXlk7aM1uoJyg1kGw-1744194376-1.0.1.1-PqGwza9bMFR7w5kqIos_vCxQwW0NRApr6szG6kY1Ydo",md: "uQH.O.knbOtIjaNNOMkHR7hZCB9dXRGdO3xSKtkonOc-1744194376-1.2.1.1-48NX4z66UnLc_yJt4416Jp77qkhlyUsXtNQ9Pce3XNXU2jb4Q7r_yE.CrhYulOfWTBvkxqvg_18uZ1Oe7FOFvfLdtpw_hVoVnhUWm3kJXvvz_E5ImIkJJXsdSSocVDA83xKca9tAcbiFMYMeP4bLWHfZQ6CFJoz_HPbXnB2X9rtn7BNblG4W6Hl1W09LWpWVQP8Dd8_GJKmRIt5vnXHH0D47mwflLQQuSxUrXwdpqz4o76CN4BccutGFFL.uN1TrutgAqaDA4dZfJ3HtuY7BDgt9QtvBIaAViV2C2vG3v6hQ.9io6P1t0SGQK1MORgsNefXN1nziwRtGXB6moU3tJFS5vWC2FgpimKR6bm.B8mZY0ncl6ECw6HpCfuSSuCoBHfa6g2yEmfFr0UxjB3woVrd5XQAk1knCaKUSOA7vbXHKwMJ0XTAdmyW5jx6Eh9w_WxZuow7qL9WROIEiy4vqtCGhm1TdwWY76X0aInso5F8iWv3agIb6kGlSRtvAyekeDty2IYtWrUMh8RukUj3KAKdDxR8wSs4hjwV97YEr6VXFA2zy7pgD6FGUxmYExIsqhKQKBzFgUL4_ipdCKyP.QdTdqGpHwqKycu0EDO3Cr9LHO9DwcGjyg_QHq_GXeMUB5RO.ue_v6HdS0VCJ18fDaYQ59.NRr0AxYbkRVJ6Y1_fy9yMo4O9JJ2Y4TFrgxIDJpZnNI9DN4vyRoBui2Zzrg.nKUB1INCusnjHOFR4s8X1kZSp1eIPldwds.V.fUOxPcQGy5KNNTPSlayssU5SuL5AXN6HcqUJfZAWy.taORbzFCS7jaLi0Qju2cRVAWraMO8xfNiKKqDp9lAOedluv9roVnegDikBhzJXxWbdNYuB4H_aje8...zWT9_z21SopT0x6tvo6DCPj4RFW4l82krV9cyVOwTXfqNmU94DIYMbvzxzki8vXYKeHuwFaeNw0xn1rNUSrUxNHCELcFJt3WGVMpjO8bg8mX00JsXcdt96apPk3N.LN3gQkL7rs_jE9BFs7NxfrN.dWCTgWL84Bn_H_8NEFcdzSEyHtFl3kqPnXxh3vI5nEYnFdb0pV1D9PojofNe7iHm8xmU8xqJE7JZ.TOGiUS2RD8fWs.ta6k_giuSPjrThG84k4MZlThrGycxn6e.0LSwYVoZmyl3Qj_2EFzXjIJruIg_fpu7_C67NshsZuywUbKVNIdO5Ej8pu",mdrd: "_Z_dDhZGE5Gin8A0ljZ5I2S8tDEr9JALmb85eMlz980-1744194376-1.2.1.1-2gC6pNtLmpeFI434iiT6Rb9H6wfGssmjikkrgSeNMYEoUtrI86krOAgNX8mwzYJ6W5RTqDoJul711ayuGPV7Zx2thMQIUsqq9OxrPC_8RR0Z8waQ8iRdBDBC46IklINtph4h3qhS7800H_umoxMAcRqsQF8egs.M5IjAT_Dqz00SMW6yCS0bevXZzHki9xEbsdCzmC2WGuNYmYbJJqBEGNTbA24DMnU8Bbs51gIOHoBqfpBHYa8jBG5YUOnevay5lACwT6VBmfcgPEuaoczCQ0Bd5h2nIcFFKyk4oz7adcB0eXw2sQrB.hsXKsEBIRJqt_dNXRd0feqa3j_XJDW6TtLttdQM9NCSxEt.U2kKrkJ.GNO_12KsLjJfEnAg1wjBHMPwqBTfSh3MX19XpYqxvllejcDD_7CSZ8oGa4Y7z95KKAgWd5JuzdtFw.XtoHQVfuFjt7RLPJM6JSbKNMw.kKjBdh34G.sHQb8sDmWogFKQRAzu8UTBxTZfL6l9C2mupwGN8B6qqAJDuOkLg.qCeB580arujUnpHkLK2.LGi2Q8MM4GT_dzDW2dIWKdcOJ6ggKIXVWhpLKzYkMyusORpnYG_SLdKsgYVNsRNTJs0rAUobyIySMT2RIu04WXFP8u_QlIrQdhTAmWwj8Jq05LKGHxVME4tpgLyGEk7ROk6epeGNh6JwFpWr7s0chC4rnecCt2tUj6MP44dRVkqdIUe9XMxEg6Fw2WhYPbpthehPbbFEzSM8a9SmgPTktl38zlEudjCXaG7hpAJ.IhtC0suqV5m6_2kgdVLh6uwP6MpxS9FZz68JYyZkgo8S4._qm6o_1mbjP24aJB9OzAnwEdt4jqKJEKtc66tPSTsL9k4kYV7Fg90Wz4EP6i0D.mTaGWPRHuuTJMeYzX80YQa93UGncsSNVatcr7j6JalHrwN3uI.vTA13uB6hmYmMz5Fqoc0qKDWZzKsN.AtqZ6_.va.9Xajxa3MeFUfTFjnk0Y5NPdTocGfwyvQLfGuF0DlC6ocmRU4VqDhJvUIyQraEilyLUW4ouxuKRCaDlQOhj1EmHccFt6R3NSzBKnSudK_z.d3Yn9qiW0DadDmGimEgwlVybRSoHlF9wrL_05to0TDQ5EkE48GuTCNNEbuKPoWYDtuuiL88DrKub3OUUMdLDvo5jskSGZA83LFLbmiD5tg2jnis3CM96aPfo9TWMLrwJCo4q1DYEB6qSqziPA02WpHe7s4mu_b2YSpnZ.._iFIavCQUdTeML0h6pd70mkCyeySWQq.9yvUMhj6PerMUApqL83IJL3SSNP3BSxr8UsLbM5PIj2Yr6uQ3NjdIS0lgWP3dTss6h2qFfccWfJChFbLQ1eN8pFpASeeKOK5Kh3bs9p6Lir67URntu0jpuGY.YXu4yi4fWQ3uyrLB2OSXDN_45_QGQ7FWpIyqncwLTZ95hH4.4x6yq.K_FzNTaxApJaspGc1gxDt_JgkDr324Ayi9kUUsN6gpBNkoq2rmdISy1jdGp_qEQ_X4.5_8eN1HJeM00XUyOcURxwSTn9KafYgdm0UMkSUAnSiIjzgaeRRj6aWAep_v2.UkhBNSCMOVj2C05JNK1LxFJQo2ALYQeDjnYqsIoFOMNso9kgXNFuJ5vkWyw82xdXUaOtphq8mFJoun4RNe7n7teYO69pTuT7g8ZqywgZU4mn40k5qG0gfxuNBbtEzXFTQz5xNO6R_klgEwNybbD6Nf1hkEFwfyPGK1n9TEYiUPQnDi84E_gDNXrn0op3xcUOXJ0gP1STjUSg3HFD7gFX0xQgqF45GqmyalOX.taOWI2ZJCkQno5QQQhIl0gULd2Ea8tBJHad2B0JpW0E_iSPQ_tQF.t0xUqSEHzK6Gcw8av9RxngVSKV0O1dZpE5bMrV7BnysCl1nUWtouRUfxavCqI04P.0ix8sfrg3PbxFJfBW5BOXC8H.VAsyfCe0zH72B6nqrOCMDYZolalhL7W8U4ui20OeTNSNkGO1QnbLuueWyk.IlJCrz8unPcFseU7JVdmI8hnEcT8_"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=92d94e249888fd71';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, "\/1062.90001?__cf_chl_rt_tk=XKgAiRMfWUceKqTrrkix644yiEZXlk7aM1uoJyg1kGw-1744194376-1.0.1.1-PqGwza9bMFR7w5kqIos_vCxQwW0NRApr6szG6kY1Ydo" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>