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: '92eb58771fb53e26',cH: 'BuvpLviQE_E8S8uAgUweIMsWDjTAe9ZrTg_on1F7Q20-1744383542-1.2.1.1-iCUwfTDvjQ3RoJ9n.t6kMH62nmNb9RU121qiM_ATaFd7vuSWwpkVhS.YzTCbE9e9',cUPMDTk: "\/?q=rf%3A5306898&__cf_chl_tk=lWX6ShD8WM_PhuzQLXk1b46cqzghn.rROFqb8IltUGY-1744383542-1.0.1.1-ZvjzUliHnr_n4oM9oP1JHwjjApEzN7GyZmwURNB2wD8",cFPWv: 'b',cITimeS: '1744383542',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/?q=rf%3A5306898&__cf_chl_f_tk=lWX6ShD8WM_PhuzQLXk1b46cqzghn.rROFqb8IltUGY-1744383542-1.0.1.1-ZvjzUliHnr_n4oM9oP1JHwjjApEzN7GyZmwURNB2wD8",md: "nVFRBScLtODUk70ZCYyTqDaomQmRjHzkR_uNKl2rGmk-1744383542-1.2.1.1-1WzjSSTIvySRQ1WT3xalyvaVyQY6HTxjJ837E2VXTDz_ysTZhRMh3k9A4jwMVI_Jc8wA2LVPy5vSKLTP_NtxCz.2hbGupQj85Q7D3a_jC_H92rvCGRwOGi_AXMtbXLIRB1a7rsXGpD584O5xKRhu..yPV0.I3GzRi2crD7wmG35fzRkGFuhr6GCYnGHl5FJ2DHVTrqPTYRtZuxwJS8kXEDzeJ5GvEpyEt1X64MF_hCx2EyRhRj6H6uNXUEh9Vlg4s6Z.MFM7SrTC9TdDEaWTqUZbNGsGvv_vS8dJiRxBx88LPfrHhRGiebSskvXYhgYlbcH4tmSxGtmJrlJlny9AvGs_1bXDOS45gSykuk2wZfQGtqbc1ZVmpzhdJY2Z0gFrREbSKeVKLMuxhCMaplJFdXBgTzNMyvxcc_NG4t_Y8rfg1eSqvGVlDKuRjUo0pnJtzuG6myxJ_Zq6jkoQ2FCDPDi0zsz1jK2lQmXOcb3z0AUmdM9ujuMEKdKELJYeXPPyWCsCsgh6b7bTgNos7Uwdm6jkYSic.guIJK8ItHa1kFKV.mHIX4U33f_vrWg.96YBcKo8EV_GxNb3A7jskhA7tpeNo3DkQ3B2SwfRK027YowfPwjJslUNjm96.jL6VdlQKZidpVrWYnnTaOQcFOktvH5NlNsLAEBNh092eyqsUOA7nS5kuSR9zX2YSHPbeVPl2F3aupIFGU9lesSDca_8IqMlSDYnFhykccxWU9Ztnt3VyR4pUrHShx1u7bRFbiL.gtZ2w0s40tPJSTbX4oI2JKgKcERk5nIwAv2u9oGseEiV9a4jNZSAd92j5Y5B_RXKe6GwSklaTJGqVTrL77dDld42C2KfMMShwirkZG6WRiL_BUDuW9snFM9mRuNJyo_CPGqWM78HhU5MOFUG8EH.Wg9zk5OEMyaH2XmINMa4n5B_kr5dDs6Zim28l38ObJcBxbGK7UVnzpArj6uOaaPWhBp93Yp8QeNAxaea0PAm9Udq7cK3L9R4UyFvx4o98fT38CXFKiod3sBVSvQ.Xf5RN4UpjNhq4HD8q2k_jzI1j2omSnQNLLLJ2F6TjDpTLOjvkz27J22QKpqkgiB4m0qBNAlXK_c1Q_562GBtUeSBc32GDN3U1wn5Zg9PqEgOnEAR2NeDI1Pz3DcYcDhSJpZKAej8MWYMNzcT_k6__zKPyBHTQKMn8jGrb2sRPi_HU7Cw",mdrd: "zwAJyqWrNBmWfVrloJ2DSnfyBvbbaBpMa8sB1rxhJ8A-1744383542-1.2.1.1-TDFuZumxgWN2Gs.KTGXkIJTRmgmyAW8gL_R0FtS72i5aAygjS2GsV442LBJz8lXerZ_OrYGOx8AnaBk1oT6D_Q2MjrXV95..iHhpOIJQbSla4in9NmrofllZJoRViwQVrN.EijED_FfboWUILizKtSkEY0Slwrs_0ocBlWK.o.qHwbAPpxTEAS3N80xUM_vV4zAujjWIoTZVXVkARB0_g.qoPtV_E1akxB69brC8dLyJ.oMfe7Jo0p3RmFGASa94lpu9agBzQloiQUJt2L2bQo2pYS0huXMOmLUas6t0LuG0DuF9gELBzJAUNJXXrI..fcGrIsvAly_TkYM6C7SEEeiG1i4Ajjvftm5KfqilWcus6Tzfi4dfraw3Lz.LjP3tZavdSJLTZORWxiX2rwIcElNyBqoXii2Xg8aBZQVJQJ.Q_nvPNlyW8F0Wmo9lUJ5mn0M9FOaUJQLL7mBChgxrSpxEAZvBEA.Q0SHuzpdk861cz_vAte.41ecEN9K.z7WlHtdzcMvLu.HPp1qvgpSDnDyG2e6eRqT8HpMfmKCAlZnj4WjKKc.k4rf0pw8Xqdvpgo8gBpBn0yftPmDZWlpgOcIgbsQZgbdYGgMKcTvLi3Xd9Jbz6P5bwhpeX43XDGvb7Z4uNQxTfqfbr4ke1cLxsTurqrmkOPBvNJZNL3Qwzst5OCIYs9HzvUWWEaNzfFUmWyYShXiYpfmrbDl4CCM8zNfwkX8A_evJ_cqiq1ayyCU58xV4GSaw_PTxNoqAf7ifBFB6vQ3sv8SQV2d53.Ae.CFoaFO09CcMCiewG1Z4PACvCm62pgKKBZJWo0J2LvvoeGgaeWRmscerIEHDf3CzKW6upwoSzs0a9sJixuYtwq0TDD62Vng_4qmH9I20UK3a4hmuWcYiHn07VnflWxYsaiZiEVwein7L7ajHyQC4vDm0h4KIBChN2roh4jwEHnLD.ViklwKTS7FcF3bY4bPICqgBdTMmeBHKPpKBArif7pr7jdJ011cuGLMXNFzsBXQHvcmj5f5hsbPkmh80SybDyLRepaMyry6Fvs0I2MOvNj0RaspasYAVBV8UccW1KN6EvoJU2190eq4KEy4806KoSPabT8xj1ttyW034KtkQedlLNGIYwDvxmdzTkL5RrhDUuLrC2w3tN78APB2X9G0RUuf31wv5q.ht43cH6f2P8ay.OSxo0CIum_UgoHcRH9G5Jj3WtgAqOcKtt_tDPCKt8eCLSAwD6dGpx5nv02O7UUfOiEncCPfJ2axtRADpanwceLUcrV2407l6Y2qGc2VWm1O5l4migOxTDT5PANOQKXv0SjfFfl1qUgk6v.H96Xq0DXd7SJI.0STUsYL2y4zh4QaXQCGU5iNEW_KoUZ9A_2EYoK7vPWZPpiKUs6DbJrADUdl0kE2YWwfD4IyAKL8h_.9YAiFCK7DWAF3gFPrHxuMuG9JdyNCConOy.D6VD5mf0KT5TTASHItpla25xqCnDZuE32iXHQDYYq1lhgWP1sSW_C7XFJfYIV8NMD4Cuzoj.oGk2C7Wp2z9FlxHTL.O.PH.Mfua02cUsZkaXNuNr0o9FLSTqA2fNyMivRtiXieAqrwiwH3AKjbhgAk4FLPJNSRoReWtoMWHrij9hwwQ6zVeKAjuHzDFUFPVd1iHLpbq_iMbU8wDuuTithO27JZ8qRuOr_OoWDdKD59bs5jSsvRMhxyyGwbxNsANDxv7tVKXzQKjZQ5KXiIVa7KFLT9rVzCVGzlxyCaW.7EVajrNDkRVBDAz4E_wFkEQkjlxEDQRjDHVSV60sfh44u7Aw8LAH_kii6ygyF2dqt5syMTy5L6nUurJQ0hrc7XpRcttOsagYhLMF0JnB.vxDje3QY8WcoLO18aLNZ_9SIowsQugWOKHXEwE_9x.tMW0NKrtdkPpk50o9dLzgvP6WodO86S09ALnZZFyHpHKQ5sp7aUFzDOy.88seFilrmfI1HVwT3OBYmnirtZyfTU4tlvYk1Bc7x64iEfy0Bd4MnbMkNwkmeVEZR9EBHnU8p9g73d2Knzf5WvT39x5_L.hHF0kVdBQ9A"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=92eb58771fb53e26';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, "\/?q=rf%3A5306898&__cf_chl_rt_tk=lWX6ShD8WM_PhuzQLXk1b46cqzghn.rROFqb8IltUGY-1744383542-1.0.1.1-ZvjzUliHnr_n4oM9oP1JHwjjApEzN7GyZmwURNB2wD8" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>