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: '92e2ff7ef8625f64',cH: 'oJImEEQ0SzfXlOa2XHEw_wrPgtRWwSX9kFO3KjFzDF0-1744296012-1.2.1.1-AvmSHgC7Hz95bXkYV.tei.ya2rx0tWwfD.oz43zkIqXu1qHQX5XIU1za5JoX.vQq',cUPMDTk: "\/0519.62023?__cf_chl_tk=BFv5AuVlC4Rd3B.GHxc_RnhEHJDN5aMlXrwgEM8VtVE-1744296012-1.0.1.1-LQi3YAtsno_gKyfR6H.lzLBv_z3VqmE1K1giVkTBBl0",cFPWv: 'b',cITimeS: '1744296012',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/0519.62023?__cf_chl_f_tk=BFv5AuVlC4Rd3B.GHxc_RnhEHJDN5aMlXrwgEM8VtVE-1744296012-1.0.1.1-LQi3YAtsno_gKyfR6H.lzLBv_z3VqmE1K1giVkTBBl0",md: "3ISx0nbAK_APWDXc0euN7obP6DEZ45.eAjvX20Huc.8-1744296012-1.2.1.1-9EI3s_ULbZ8ZPmawBUM0gZQngn0h4zb9oonFhPh0kHrxaLaZ9SQDGi0Ik.3psSAbqTOWh32PSe_PsGYw6CD4kKYpOFA.khZq78T6EHJBJb9csIFbHjLLrskNx7J6ukOSmR35KFPv9U9GNRImOsXEOtv0y8kcyFQc1XF_lutxI7i8S9LZcLnUQpFHOW5d8j69PZymgQbGBXw9aKbH2pjzn2wsrmZcF8rQ_ah79pg4gd1DhZKK6bBqMge8aJy5G8_sRR6s0ThNUvgesGyHrTAjZNjUpxKmrKBaG1NmkIKlsDAgVJoJ7jkDQsunhOWydd9gxxLQeGim1Dw3gsM5XHb6rA2_kFjIXIgCJYR59NLRxMq6QSK5OOpPjTX6VyjQOsurpQgEKsXawlyVzppcz8AH06XSUFaDJ3c0NbgfBYNdiUfC1ZemmnIDBzzZrMHMR.2tdewbIuRos4VDPfRNIjcpG9Lrozq1vQ4VUGre1ZBIrveJ6EC5SFBS5LVYnh7nZUj_xBW73MHkjpgOLBJm8kgmNcRbSngEUZv64_WLSerBFxpzlz9B4PV9jWXDpKM2tm_yUTZqm32PxdSteF5buvkA2VCSr8vZFDoR9jz.6kNorcR0f4QghZWhPEZupH7VApd48_hyYbJzOX2QKPquuJZPRK3pbhFKVZTSj6dGDxhNdfmzKURA7FFZ0gOkG0.zh6xmcDANidowwJP1HJ3r3_HmZhghPd7bSW8JR.lAA6e9viTeRfZLi9DVhBjI4dDmaJrSZuRai_Zr2MOkuUqjaMMq.5LGQoF00rqF8kIOHBM6yO3gkc2hSKlOfZMEeJbQIKm0vKLdO1gyFel9FmW6MP6d5XIOA56JrV8Uz3DGfD7PifpLLCefHntrbIkpBrLrmjVa04VLpth72n2h81YxpWDgRL.0sU.ECt1S2jHqkpNPfO6mgMCZmiCig5pRQBv4Aw8UVB7YA9R8h8.RDLdOTrB_rzDsn_Dk8tNrSXJIKKCkm3c15_eT1FydHSQwziHAEm98vxTAuHAzhnjysVnhyMocpxgcK1sooi0UBw1mHuXEP.SV8fqrtovOGmPVo8bnyMygE.0gKdjua6lWrYd2TIOpTJHw1Rcdwrjxj7kjjR9JAumgj309oWLSms.6h0dfzKUYWNiWqn3E__KQx2VEg1N7pcvgGjNqPpp4UTxroTpP3wurni8zx3VxddMfS6PRRI12",mdrd: "tO8dYggZ1udMotFiplzuXdJlT99VTHQK4D4g420HTcA-1744296012-1.2.1.1-MZgeY3Ux114pl9ZLYQGI3N.T.LKd7VJv7e4FshoS0br9AZxgYmRjPb8xqVm_obmtcS4ouaJ7DZD0pI7uG0Q8aVAyHJnNw5nMpAkNQ_VPXrIvKD7pHeah40UG7l3m_vBKIfpJqxsbjqisooUkPd5NAIk8z1v8pQ75tho.8VdDRYgw8LX3wljJw1HXM28Vsx8sVvqsbwwBbLBb62fJ4np6LHnGfJDLBocRgwtcsToJ5OGMIwYOw3nUXxhb.XNhE2YEg81JaxxL_OGyM79pLXWolw2K8NzuagySpxKLO2Qp77nAd99jJlY3quAksnWAfDQLg7aE7poOIrfU_CystGZXTfXiyM6k2bZYV9H8f4xY83eC3E.ZnyloIxQLj0wf9y3tb08oo2BLsL75cyBsA_jXLXujHEkttZrd7y.ZReD.apW9X0xiixjj1zg_L5MbEr9qhnFJLr2.uXUsUxUD.x.V8Jt_zIJAMfhJC3CV_GRf1oULfmQahG3EZs0YcY0OaPrEMN1e_WAik9GsnDwhb_q_76mcWev6Pdyg.uBrnuJyRJWBUpC.uAZS9nF8YE.y2Oj4P8BlBaTQZbI4FI.c0WawrqA2_SatxRk2CRaJIAMJhwiPNaKyidJTrvrPe8lWaremrouzOW3dQ4B5ECx1SRPLIrWOYr.pcJxH1dftYtLdTxFD3q9iyCup3QbEzvVbkahnwZUC66qqgfxBo5FjIt585xlGdpOPmOeddoE9F3GTe2xwC7lSHSjwwOmIkXuMb1FSGP4lJHwhL2ntv2OgoZxQdLDBufNR1uJgjtyb6x_RLtfhdOQCxSWFxiIggTQedJjKEvidBGPjFtjDLHW8fMENKZhQmUz9b7hQ0rUu8yukZK9LOzbdiqkrxftFVu5x6KWzseuofPy6px2Yn7BaVHIlc8KJ8n7T8c10ZbljgW7o_zjrlTRDAzqke6tqC5qUH5OgpyTJO3satiwwLBJUV1MKblnhE8UdmTRWv3M3B5rQXCBGrzlSCJS2PW0NBYVcc5bRrGmUT.TnyQSbqbZu5s_so_LO4W0a.TRGsKd.LnQXFF9I3CiPcUiCBjKm.ZcVLVpvOYcOwyv61Ozlg8HtOpVsXhqDjXvFg4xYsMkHC_Buybkh9_xlywbq1TR0QCgoT2bHl7nQSRVOOavhWoYzeZQOHhVkwhI8M.4tU8uHuCD7IgGN5TKhsPW6Wx6ZIT0U8Gz_sknlcjYm1X57PLZ4fX5_BExl5Wbyjzf13yPOARD14QKL0MphJdtaEhkMbiedzjV_P6vT7QWEXK352zdeJD4d5pbf7EW9SbJN9Zlfe7hbvUExe.Y38SLFw1BXNDRDo0BNW7FiGRvU990PsbMdRo3o0xJ2vLI3iEBnEB9SJrO97b2MWFnEuUVWPJeqn8h9ddLSAqF79l3XjUzji2ipYXWpPdWULRhpgT8hoPKFNitIU6bFshketgTqz8yt4HdLldhm_XDBuYuIqiy_HoKp0GoeFFAcj_mqsXnswtXDJ7evYKbx3KmWADPPhUZS_7k0Qebx1IE6xzy.y0.hGYeBKJjb85w57EHLAiBC5YtnLbzGTfE9qBxElvSYYNONcGz1E_0IBNsxpWgycW0Kx69STFicb0PpTElfmqxP4yA9e8lkAIEiPt8YIdUuNFWbXF3xc0zXUlejxPkr864ZUPYHUZZ3gWMP4oYTR58vXPJBfMnatPHLfnf_PphIVFq1RrxhRUrF3XbLSVIry1KC4yvEq3RjdRVL2k2oTRDyhr5sbnftlUiNJpV2OVu_pdc8Ddm9z4WeHuwBx3YudZ.xmUJXJrflmeuERpFJojo_EwBwKO.OHZ0vqcEn02SD9XDhrR9a7q0GuiAyWXTQ5LuVEFkh_wPEETFCJy66k6DvLOzeUq_5DM8bfCc62ok4zfs7Wtp5gM5vUqiARNnrUiDDZa93hZABjSDaxFMk1gjog_eYPmhvTi45F9d7OkP9qLtL1Jhhu1XzwZ66T9khp.KcMra20Cy1ihOrYjEq6N4oBQg9NhD7YIC13HGgNyLKlKoXdmR7wmOE"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=92e2ff7ef8625f64';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, "\/0519.62023?__cf_chl_rt_tk=BFv5AuVlC4Rd3B.GHxc_RnhEHJDN5aMlXrwgEM8VtVE-1744296012-1.0.1.1-LQi3YAtsno_gKyfR6H.lzLBv_z3VqmE1K1giVkTBBl0" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>