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: '92deb3df7e1fff8d',cH: 'FK5AFMnePKUhstpZLLiWhdPEAy5y1DxKYHFMNwTq5pc-1744250972-1.2.1.1-HjYNENV5DQ.H2FRhG17Iturckk2VKVkOE1JkYFF8DFNt4bK.vqBCfkOu_gMlsEb6',cUPMDTk: "\/?q=rf%3A6712613&__cf_chl_tk=1WJL9e_uw4ch2akcBHttxxK23nHlpjKbL3atYhDRMO8-1744250972-1.0.1.1-xhvk8etxyyhQDx_EbQ0IwKtpngMox4oSaXbjwHHqP_0",cFPWv: 'b',cITimeS: '1744250972',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/?q=rf%3A6712613&__cf_chl_f_tk=1WJL9e_uw4ch2akcBHttxxK23nHlpjKbL3atYhDRMO8-1744250972-1.0.1.1-xhvk8etxyyhQDx_EbQ0IwKtpngMox4oSaXbjwHHqP_0",md: "nZlJ5dM5hjHvZsH8ghI6nSEZrh90Z4mTOtthlKD6Nm8-1744250972-1.2.1.1-JmslHVdvJ4E7PTTox4sLy8D5C2U9nkbejdAXbShobdX_WUjgMfPv7oZjuPNGS.DD5VezD4SqTncvhX6T11g6PrFJOsDFTBh7t2y13TvMLlE5QUOPMzF3JZDsbiarl0C4ysq5KxRa30ztIzvEWfJguevYBXitoL5hCapSjmgHMNGZXewNWsBsBv0KIHY3ED1.eaUPigKWZGBTF3CuqRpRcICEhSN4k7.clYBrBmcrZwH.UV8FijVgtzsweOkB9FVKfwulUa77EDjw08vecjjXx4_xYTUsNIyltXFxNzspDyvXy05qE4tZ.HqSmfNKceqlzhBMlaXk1GzqtGm.ODK0uLm8lGMr1_XASodg40_Az2qISckPBn3MyG3x6KY0k12E7nCa4mUHs3JBTsP3JpdoNLE6wjiQP1vPt_xzIy0jSeGrWV_8hI3eYDtvSM050QCM_a7Q1QpDq6UKom_p9DxnpYPFPHqlo5zhQ096btKdLnoB3beYthDkqAQI4wR_DECKSGTUCuyV7KKTzIxkyGZpNdGMCv_lQyNar_LJdySqhRftfQGVPwQLqUozMahyxouUKcgXE7Jr0NG176REG4yb3ONNQoZ_e4J63ifUPUu9djmJC0X86yBkdXuTeW4JdpznHYxFox5FwDo4fAdx9fXuYg3lLfeTgxW7fSF26QXu3gKK8cCXopc_1yRJfO6Hbs6ssqBbGatJJKd0PU05TP0qfn.IenEGJtFbNZ7m.S6d0y8m7BCP2vXHdzMqSLgnMbA5YD.P3bAbSFp6eUHNNjabfjg9l7L6TSL6vE4yqivlOBJIWXPfRTFE5pmv2DNb.7Y3CoBTzaDXfs19QOelOEEwQMxDssjvtCWWh6qvLE_STfwpwjjrZ.NP93P7MiQobTqBJHDpagjg1GSxXehS3trSCodBGYunk9M7DiK0iziLR.S9r_H8Ck0tPdC_Gl42MvHoRhaNJWTppe_ypV1CEoI5zZ1rAkPvN6sOPZC6I6n_DB0S0bFADdX9ndoR7Iyax6RyJufJ6ax0TSnMeeFYDRISik_eO1HodOJR8CMgwtfrmNbgCLsVYg0AkGeTgi72OcJ8gcJlQTXJk1gwJ.nXdT0EsMJ7PBTsErM3W3i4s_NQL1aTRW40qB6LPksAQdubTREw5BhcOLV6iSDYYrGUmeO9KnWZ0SyCUPPA.LIDZBKVhbLkhx4wZfoXcNe18cXlEK94",mdrd: "IX5SrxkiTmlui0u8YtVdxutLa1FWIVCT3EbAhDHVx0k-1744250972-1.2.1.1-FfpM4h8ca2HQoH3bj3TaUsEtMIodpHr86Qh7IwMs31F8bVLdGGi04r73MdDwrCnv1FqWCC6vhZ4Zgj8xODGdcbAazX_4RguY3NdRY1SIvXOpsL0jWEakpG_dRFp3aXQAYp2vC7WYxyGWlsU3KxvsQEk.2wCw037fVru2LGr0VGd6E9H7TRpI7WP6RTgUAW7VivHElbG9aKfUW9CCsPN_aLZjHZoGRHEJbwZuU8suZqSFm_XVBr.EmPRdiCIx_KFG2MRLYCmRGtwGgdhMys98c7I2Js_GaFSvWvRWh.dSGsxxXXG0CpPCJv8Aoc9CUpdByC.OVXeCOFjZ_Q7xb7ioiwlU2CEaZZGSUnw_mmDBsI5WqKagLUQU08.MC6GYJZfWipdP3k9Z6sm.b_0w2aiTacAWqzRK59SxN8nJLeTDx5tQk0AFJWs1_vGUk6hY3pSooYGi6wrtbfqzHaFjs1q6Xs8h50Z3mGCuA6XQLZP6iVf.uUAhKdcPYgrSCOM0bYdlkUkoxkyR2dFjvvk_bvTPZxXRG.nmu4KrZ3lzJX5aHxJJAulMouL_3tBlxqvl9YIPjpEdRYK0ATkPxCP7VtyMOawzvtss4469z7kz9JeDL9HRG_tjYYwWZQU_dP9VL7WaVXnfGpDLqO4sOCAaG.jWoL7kJxLfViHYSvI7MST1WCBgm9GA02TecKcIlIRV9Vw3y8QH9iXHAWlo34N1MUMGBwIvBI0sqilDBcDZsbvaeCANChmMGZ8uH9rZR4ucCgHh.xIoEt_jwVDD_9tydIIBDE9ARPDx.XzKSTGa5xPvfUUHXTxDRNOYBK5LUvtFRYLPRLzHJyNIclqtKeQaL7FVPVSNsI2WWUnjqD7tNvXqMhUVyOc7clU.LtPuBXtSAXvCQMVWTryyoBvZ5aHp4R.NeXfL4eyBdAOeDMl1jjlPXoPfMjgFaBV_OC5zfl0VHi6D0RQyIE9QsV8kYGQFQcIloWzuJ5uEHQFGL0ccTpvWWLD1HAq96vIphSRoJ3eRa1AfwJma7.xVNc22yfgBejObkfv6i1rJmMIyOP4aGQALos5JWoFIjlt2XqkYjvkNaDYcw0lv8dh8W2DAyHds3AeaAxDQoWzdqUmxGbGNV9YjcS_W0M26c2PVcvYg4UJ38gC4hOF7ilDTcM5PX5GWh3LME0E2Ava2pSJ9d_X1bGKuID.cbJ5FjDs_R_t3cS5juL97IVPQg1RXXpndy9atTKmXEdl.UmOG6v_sq14ijbMTfyIqqz8l7g5J5mtBsydmwTEmoYuuQKdIWEpopb1nva.TeyawbcBxwpMEi8lqVkrGh_36SgA3lAHKql8oQwu.C4EVCfPkfuOZtN0RCw8T17EdgLP72VaFLiiNnrvT_vvHR950an_RC09fBfFLjzhTclaKCb4oEoERN5Un1gvQ9H8Zcvha6RZ31HGEYF3UsOgZJ9.fVdquY6F6EOjfILYyZ7LxAT9zS3OmhruMQdQNc4N64qOQOvZIremYErF2KzlKtMpJRzmaV9Wm64mAuCAO9qxVVmxEAg32QEU27nHPvtKUArwn8SJnHQIfwkh_hY0CMAOi.GBQH3t8oB9yB_X.kkm6O0RPupWPls7jqa1Z3LcDXkWmJxdOAFrnxu.etcv60H7E3P4CI58.lKkHssdHP.XMMWaTWTfahPPa_Ow4xJHU7phuTUwCVMsdWhe_2xleafCqM0uk.VhNus2NBkIS7.QNlLxlm4amzVWSjkbOLXDcUQNVEP9a4OzogBmgsbX.sef0LFyfwOzGfelCI2vvSCd4xCxRJyYJMXIwBjXk0y4JnZJrI.LRHoob2wfbJjuP5NBqKDxv7s3UAJfubnitsluOCbdG0n8AUPu4Exe4TfnKztRbOJBAWM_JiP_i0uNcaMfcnVbW4w7dvgjfiGEjCsxPsG8v.8JwPeUf8J2rhp3v6qI.SHGclNn4bTUEPpvMDBvT6j.VxBmJGxiLvyuIFGxiv_V4tioeLJ.tP.IeE.AFbbK.vjkcz5yWkyEqfn9wasW8uMF5VhsCW28aypeukw3p"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=92deb3df7e1fff8d';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%3A6712613&__cf_chl_rt_tk=1WJL9e_uw4ch2akcBHttxxK23nHlpjKbL3atYhDRMO8-1744250972-1.0.1.1-xhvk8etxyyhQDx_EbQ0IwKtpngMox4oSaXbjwHHqP_0" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>