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: '92d54cca8dd3ec6b',cH: 'Nedtd7AOLvo_7WB1umpWUjG26sgt7BJuwggBA77Z_Hg-1744152378-1.2.1.1-hUyFO0vO3uJguCfuIUgJ_RJTLy3BnPYEYi0N77j9Psxfem4rQfs0yb5vgbntMqVl',cUPMDTk: "\/?q=ci%3A1384086&__cf_chl_tk=EOx_tVR7QmM3K.2JVMFlvsAodlYW7_hiOJr.WKVlcgM-1744152378-1.0.1.1-Hk3LJUEvurfSXqLue4ry6TV5KL.SYtdI8bu0NvteajY",cFPWv: 'g',cITimeS: '1744152378',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/?q=ci%3A1384086&__cf_chl_f_tk=EOx_tVR7QmM3K.2JVMFlvsAodlYW7_hiOJr.WKVlcgM-1744152378-1.0.1.1-Hk3LJUEvurfSXqLue4ry6TV5KL.SYtdI8bu0NvteajY",md: "e8.CNswDVTe8LtegA7VR3120KAW3kGG6ngIJHW90PGE-1744152378-1.2.1.1-3hkgbJHS88bAzgJT8YlbLXe69MicjpFVViptfUD2ZNk_PnAs3qnhzx2ODT41RVimHrVC0o92mRgndH9TVnAqlo48wHgki1PcRJ365t0ZNCW.w24EWVsraaYTuLVIsJDVin4LoCDCjbPAkOF8X8MtvtbmWCvTrA3r9DmIH5xTuObDxfwgmxoXhVYLnMv_XoftNAc.gc7PsHzqXVPmDzzncs3TQLUgW2GYfmJeoTHOvosbjDDPPeBM_0PP51Asx8a9cqhO0wcOusfjeXggzx3l.jbHtUGd9EQ8HBD013zNauxA7A..bqVTEzUHXw2yl0Q98D0nF_8ju73rrnp5wlwJ1Tt9nQK0eBpihHGxQLnP3wgqA7g9aQrI2cB8ZIWEZ.wzxMiah_.ZDNK3SgTacn36k3f80Gd_FuQQ7hGuhRuXi1dLEaw8O8mmVqLvonvwmouWrVPkE0tpuP9_v33IlCwzNoMTjn5WjiVptiGindjC14EGnSG0N5I1j75UX2FZWFRmccNNeEdgMUWtmCaR3QoYk1zQSQkd0t0vITQmYrLQkCEqFCDSy6xG7RmGsQ2pVnuQCtQW44GE.qmSAQS7PN_LveQTd1krpTAyqR4QXIwzAWtT7D2cAwARECahkIt3o1AvYa964UG9ef4J9ojsQ1nJ2NdnUHgVCkU7Kmm.8VVUTvgvibYeMIY_PwioVamgj9qbzXlml37TU2pUUve6IYkHhvrni25KLdYi3.3vWpbcMaGIs00INn9NRdyY.cCFkw7HU.iaMNW15VSd0iJyQH_78VfsQoVWe4V3p44XIMcoC2cJSG6L_GQtVPgM1oDbpYhziz5w2HY49ZKW1aqK6PApBkqh_tmBWj9mOoZrT1kIyBTZK5qPj9gICcjVDJ7bz5UPl8TnYyKhT9pIML7qyYVodX4r8lxkVFsTG2qcfv.o2VFSsvyuR2eDaBfRPhHBO8ODeoLuGQkMkIk2GHmVN.docEJs3F0Z51_Ah0AmMfHjyy2T4Bhy9Q_EN0bxVrp.VD5y.pDzZOq8.6dGt7QeHNwA7wWuVVjuYNTnWIH5_ezQ4TrUZX28_3awKtq0WGnl2FEw9oIXwQx4PVZPoejqr4_22xdV1RSo3CKDA0GN5yiuxTPx.0sXN5WrzlSm1hiPkxjwLZPCzJx44Cdp9MLN7_BQJkxafVFLwVTt7dzEQ_bkPxuv1sbx9j4V9Ot1m4I_S3zK",mdrd: "uyxPxGUWeDt2D5bCMQEzafX81nB3_z.1.JtPWOw1iS8-1744152378-1.2.1.1-jQ__vVy5dAtTUj68PYppmtU8Xr3W9n6W.EAhYZABpbaGRq6dB5CHVnZmn9zV02Onwap0QC8TPTc6uRa76qoJUNMyw.BJgun6xAZZZkRQO5g9ivuxKa5e8FpWQkX2c0Swsri1xM7SLOpgXCuJ0cs40LFHWhjf0wJsP_0p2YzMNFiezEV0VFKTT2tcbADAgHvyQOj_K4EJQryQRTZ0nvKZeHVTTUWHb3s6TljlwnIihafo1FJdf5Qg5FO4EKjTzfT3q9C87Xiytlu0BSuoTX78EbTv5F4sVkMyn7QWPpDgaeVMfPO6rvK.0t8rI1BVyJ6F8lq_J.BwBOsXQSpFFUdqOESNk_yzsyD8x.yeBOcNECSYfLUDACPnPynaV8EqO.NvuW_6jdbnVvFUW5TYee93Roz2UIdpMHdxOewxifRGuwkv_odr5QSmVsivK_lUqfBbtV8r2je9.euSr_4GCgRJ4.HWGakHeehxYM6w8DgMZ3ZRy3xTlqYsH88N_B5Gzp9kON02oxqSfmhx8Y8e38Nfnm81tAK9JxqjBMe2_9TGZpfzHMdmlEhbtiZ7tHViu5mFikNnD9G9RuKZzJIgTdls.DxwA91WsaqXlDtbzigV2V6aIrfq9f5_bdiJoYwHOhabzmNw_YCmF8JaDc1RdIR75PP5Ce4eEhrdfo59m6je6Z_sgjjYKr.pTU26is3xhqgStAL7yW25l4crSj6F.JxRb1iHWV8rbl0ThLVQVtvte.oSYZ5ARRK33V..750VlxkzlEMN2zgkks9pO10Fuw32sEXce4PhFyIhxwoe1KpRByMLeOzTsBqM5TfF9z7D0dXoq7uxxUnkHz2wE5MVtQCjEkplTqWB54DeUKZWwTnl3Q.bfovZuao28oo3YFUkSWUhxx4Ur1wNTZ4I92boJHn5x8jWT2jq1mVh0kl3Xs.Za0tlqD0i4qBBUI7ptGzIwGmoruEDsTTYWxYt9Hzy_Cl1PPmLpU3PgwcYpwEOT0exijijBPmslOX8uuEh01xoMYKXUX965zEYqJVMWVZeLlvo9N5tkpvZF7Pq1w3xcrDUGph0mdgd3ymeTKLuuaySH7fYeFi.yMLEVE3BrAWZYzby.7Kv_aMgprYTnpNo6kmSzuACjZLn4bdCMIwIm8SPPyKUKWSmRI5IeFvIMmkWGGj.JJZKJ_SajWsf_jFMbjW1Pg3RuXVnSHJ25gWPAXZ_RewfxPp7YFpGT15beuLSGh4kCtqt.rMDyRssEADxM.aRbRTZv8GTY4nRHXLp1az37zushs5sUZiUUQaxmeZ2gnls3TNVefPUk5S49haLwJIA0ZQmm7I5_eO8vi.XXsRlXZk99RT.HnLrshf3Okw8zlm2sWfb6JftmeomDJdfYw7SKn3RKnAVgyXAnMZTdd2ogP_TEsrJQTa9gkayZAFmxZqguZ_wnvna7cyoDUebNwotnGEgO7q0k3t8vDCILM95fvMmRtsiop7OowS8tI5wZjQOTZuB6uLjCNiscEAViZgQN3bkb.y1v68X.UDnGQpPf.ELfMitRFMtF15pKcx907WEiUT6.JXtUOC.1v57OnKxP2Nz3LfCp3XyPjqI3y6oeMSATA1drc8oDPtCNlGZv0fYppFZna.3eQVt3CGZfvHbYAHaupJMVysM996k9CmWr6idszLfBgbnIrjXW.rJ.Y69GCNiOfukc.xKMC8p6roAP0vjNrCC4rTgZhI3B.Qbw5IVOVLWmiT5DX3qkLmF9j3Xd3.jhKjl4e540uCUoUmpe24VdLQj3T1xvIh_uUIL6yhTUXJIk8j__NZRbaCgXhqOrFGN0wlwumDgOZSWRhE6yQNXF90XHSzog.QxQ9oZUdaWUNgwclDkwBEjanH49KsYNH8i5zmEGWfRGAnhdR4Pekz.eJvKevpB5AvQ_rCXKl49tT4s1htoK_mJY_34CTNBimEszfzvRKrTX3NG9a4H8d94FzQZiqwbCR7a4aeLTqido.llksEXX.nayIZbdx.h.4.OUcDhGI3TgOJxxV8Ec29Ame_QnkGbKHPi61b1kvKQcyfZEJsHhsytfrlw3dDPwA"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=92d54cca8dd3ec6b';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=ci%3A1384086&__cf_chl_rt_tk=EOx_tVR7QmM3K.2JVMFlvsAodlYW7_hiOJr.WKVlcgM-1744152378-1.0.1.1-Hk3LJUEvurfSXqLue4ry6TV5KL.SYtdI8bu0NvteajY" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>