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: '92e4a9c57cf13d81',cH: 'qNxI7Fh4.aye5INnAIB1gFYF60OPs.U_b4c.217tR1o-1744313472-1.2.1.1-Y3q8ob6bnHiRUBhVBlDWaGBNrGKYF3MVPfovNP_sbsMzbJ64vHlVsEgv90J_3XiQ',cUPMDTk: "\/1422.35138?__cf_chl_tk=AC3tSqyrv89H77kZsnV96SmNGuhGBFDqvh21rBruYkE-1744313472-1.0.1.1-hDtDTS4yCBnBi38SWxoyD1fgUzG97rubF9nWiAAYdCw",cFPWv: 'b',cITimeS: '1744313472',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/1422.35138?__cf_chl_f_tk=AC3tSqyrv89H77kZsnV96SmNGuhGBFDqvh21rBruYkE-1744313472-1.0.1.1-hDtDTS4yCBnBi38SWxoyD1fgUzG97rubF9nWiAAYdCw",md: "pTJto8ti6OrBA0hitltME7Inea8OukaUSBv4RDIbWBc-1744313472-1.2.1.1-fWbHWQS3sj9pvOcmg0.l3Q07_1Txq2hEfPFvHy_P1cw3bAEwVGU9gu3VoxWzIcvSQdhm10tEUloeDzvoOTRsGMbiZLeIBuI0TThYh92TatkzrRtQ3WukW.n94Dl6.D9iB_Uk8qqucGsvcfVYVaOmHvLY6gySXkjg8JUnUaIAuvlwi9MMDRf7Rk4flmSBrIJzFGqAWze4SMmE8KkofsE5Mdu0zp2L4AyeRAqxe9vrQ3PdzY5MaSJk3skpa4jWzmhmO31xBnJfZOdN1YBFqL5RWhK753XxXU3tEIa0NFFbOqK46kXu9.uR.lN9POgIdQfVYCs2uU0aIZ6iYuumLlRwC5NTK5rEWh9voq42z8EOI7zkhwPdkVak9ytSqG_mXa0_h.greSl9RJGqY2NXhr5L9TTICQRmaYz.89U4iyIZBMnBJC6YPHKnWXEY82ITXFgDF6K__6POvq8pBBtVBfHNmgKhyqdZS7_mAMVXWawgJLcZr2ecHpNLVhAqjBL_E2fPeg4LOKeiSNO30Yp6T2KQ.2SdHXaPrefwtBBCqN_exKRfB_zzdRKOV0WDr5rk23iXokUurER1UTObxojyI4n6c6MXHZqbjRAC3dmSww37a9MOHg.5yQ2Ay9T_CXTXTq.gAVdX4GqjkuyVGLWWOZs3dJIHiuGy8Xr_F47Q.jrlBEbcHGaFJTOrTd1HjkHRWuO3JyIb6uTLPODBeKoOlqENJnpBLe8phX_0WGRhULK0eq._VqhiQOzJBy5pZW7Jg_zQ.PdepjgJsNa86UAusZaqOqthzWPDF61CY61vzjqsAnKp3.BYTC.ZRjyvZD.5VvH.1e155pN1puklNr595vuVmsDMWnOtHcAiadTRGjAHX7dHsAGFtw6JTwSBV54DeMKUPxM1JVDgipfwdWMRl5m1uuqACDdhthzVPlkDB1C3p4MmVE92GIfOf3w5TxctE2Xq3tDOf8vL2cyJ_G_gO.7ms9XYw6rQ92wCBu_qM4nCobIuC9G.ELtzvI9dYkd15qEoSjfRudSXqA7KJzB7TFUTgCPJzK7zqxmfKZDREsCum9Qs94FYiQ.ee0f3zKUKUz1CfbP.zzNUpcHuvW2yzlefSsIaxJoicY5PFeGIRE2QzWeRLfWTMDoYynBJm.s2_zzqIkijYpJikhypp3dKuoHiWCj0QaIkEkstWjAtXt26Ncrz2La1M86lwAzW0wIW7zVD",mdrd: "MOBtPC0_srBXWvukpUUH1UV2_ppujonk1eyD5YDoaNM-1744313472-1.2.1.1-X107rfQcSCmGatfK7HlLE5UdodC18w17SUir_WAGSSr5rVAFclF.9BopDK8k3gGyvf953vQL_OtQclDEj4kFQFzj30EQlj38y94Yu1tXiLlSd6yMn43X794PBofKxIB2auy253BUa2eLZ0RKO0hXPlxQs80ZnQuPMjuRthS.n55nxyxDGuMCx25gHx2T5.unHOW9tIAi3LOJ7wh7.AKBkqOLE3.SFQnhtJptYCViFJVcRhnIx3l2a57JGPpc6DnfZkccvEymW7tCoHHbjFiY82K4XLUgAmbl.ywWXNixnLZUO7d08ZUAXzj6NO1jxpeSnFpNbTsNoW07qd_CGSkLHLVUZMu_5k.cCiDv2icQQDZ_KWYlr0OHVBON0fLeTomMrl_30rUIh8qwGFVMi6m2zChojVmsQNnqEYpA3ja.E8HexheSs5HGTW4Cm3QLnaxhLgv1ibcUNyyBkRRIAM22.KYap.8REQSN.FnyszxvrMuIpGMuSft8mx6JUZHawsqV0edk2SUgJJaOKvD94HO2i9.04BTZOmpbXiCaHn6iozb3Rs5zmoZYvvAyzGUCCHdQv4E8KfmLBBWACAK02B5i5nUiCWQFtgeEaJfEonKb29KL3QpwKVdBK.VFCaFrk3eaqJPDMJk6Ei9oYp5lPKZfhriYQiG6nKXPSulk7a_fbylm9nouBSApUJJPix2UYTMnmzosF4rRFGCVeAvVMN3kOUo005fHK0g7IG7lsZy3vubYx8nDziPzzUXvL3nFz2iWR3GUDr5R8BrGmRVrRSbiVKgSp.6OgbQvfNFA63u6UhLPVp1iWdufYt5P_bASir7pVj7c.OYVnqWR6RuTbxhxtKizh53CuARSxoWi.STUZGM1zNXBZqdimReK_a9nn3E9nAqqm4jzTIStfreZYUWz479.ck7KgY3xqv3211CuvxWBE8xKbMNDxwj_S2zpXMB8t_WtMustdV6IorPY4VW9gRxoB7fnlPToSLyYOKhmJKarXiaAqBsHAwL1l1NgM40gz8bcR6ZxrRl70kfwRs9RLpIqxKF.QPzxvTiCdgF.nOCqtnpkXXD.0xX_6aa5ZNZkLW1ceEed0Y7WW5Bkp98IPu7q78p3XxZDHVoNkKQ7X8XS.iD.KLJNxKcd0QpAD80hJ6c.q8z15lzhEjshIdb2OxwqLRCGMm.nPRTYOPE0NtlxcgLzyF_8Na1IiIw7KdqBQ3HuulnQ9y1Gux4AKqihBQu5WyXKWBF1J09JdHE0sRlCPkVHXOaNwf4A59EVp.T4KH2lQtu71a1QoUUxJI50YS3PXumHcr1SQ5W7hFoStPaJpLcmJlEjeDq6JrcgXqt5GFUFhwBf4ngrhXIyA88JFkYipgNEOScLx2uUVzX2c4.3V4NbXBuTN0FRNm6S7iNCduIG0R5B0GruJrMckqudlpBFrNivhPVItOw59DbozawtCFa2Lne6ZfftCMl7oioF7rP7lcD_Q6KAyLwanxSw3RZHICY6yJpBr4ODV_m7Oe2TCqkidKR0rTXJifwJvnjuvUNtw1buZ5TqNBvgalumpXkVuTE7EDpJ1I5pm_oDLSP8FP8SEo2swCYjbhs.c5pCtpuOaUWQlWTJBWjuVj7a0Q3ewxZ00TVxwYfSgJUd_TBD1F5S0Bo6tj7GiWmDmU2EIJfHsC.N2JXh1H7m0V1RxdYilgOjvB5e95hdg4w4W8bhtrxc3uW_VU24m9_Jzg0yzgy9evjSQLXLnKjn3Pj87UVXutPNh1wOdpPxfzGIn1MGDjfCyxKdtWWyxkhat9LaLzkLX60eqB_D9QW2O.5JqlGEAgVLzX1e00SjmQdcWqQRSVxuvOE.cGAjf8eJcT374bTSfTYbJq.W7zV5yuBDcbSMg67cfsIOxf2raXHg9qOgc3PoRBjRDwNlx.K12.LbnmveyTjJVIUADH2C3p07pC3C5WMWMDpljcnNXqauxIfX_0sGI5xfR.KXhSjLQJ9R0suij.2ZiMRMtywe7oTucqbQiwH_4B8sEaJLNRhDU9G1AyK2Lk78fC.bwKhXbZT7"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=92e4a9c57cf13d81';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, "\/1422.35138?__cf_chl_rt_tk=AC3tSqyrv89H77kZsnV96SmNGuhGBFDqvh21rBruYkE-1744313472-1.0.1.1-hDtDTS4yCBnBi38SWxoyD1fgUzG97rubF9nWiAAYdCw" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>