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: '92eac26d4ba99d24',cH: 'rElSmjcjp8nzLMuHwfiOxwkukSSd1hsxRD5gE1xDaCc-1744377397-1.2.1.1-0.q0fB1H080C4PMZn7yHLmqw5TqaGALEddszaIVd21pBkDuEmwP84au82qcLgiYx',cUPMDTk: "\/07889003?__cf_chl_tk=tdMPjZ8k8VdjPJcmwQ9LAcj7go7dLLKdPBnAbaAWW7w-1744377397-1.0.1.1-OVGcpMfoNalqGo0fEZv1nxPESoFJa5_gw9ni.3VSTLw",cFPWv: 'b',cITimeS: '1744377397',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/07889003?__cf_chl_f_tk=tdMPjZ8k8VdjPJcmwQ9LAcj7go7dLLKdPBnAbaAWW7w-1744377397-1.0.1.1-OVGcpMfoNalqGo0fEZv1nxPESoFJa5_gw9ni.3VSTLw",md: "tdvchzxRTk9wWzlA7fz6IL.xM0MduY4SLwHvqPC59x4-1744377397-1.2.1.1-WkdeXRPBlqYYVsgtD_zFu_NS_ufSM2WxUiPPRyCKWqxiAxzSwrRC4Ra.agTTtUKpvK0TZ_fx4aMutTuMdCRzCkDf95aqLW7dTwD1Q85XjIWGZzKuNfbSYLogZyixssofHlh6xacR2XQoC96wdsmViLpYQrOfXXhKMMtnbMcNQAdu848lkNgUTc8I42uJRY1tRbalzzM5pPKjwJ7FWZjxJbeDYobM4MgS4jjBj7x_K5u7m1HMHWSkAUaAJUHZHguYpGSupmcn1Zyk2Q2UPtrCP1d2.a5z6oR6cLl0QRzp3dTObzsa1hpLP8qriTQnGmAdcHEqoJNqSaqtRTMM1qFYb9FiLrvd2m8Tr8IH36BDfBNE8WnxJRK9vj3H88oM072wSpjjIb3Z38TMQr8iZDXTXp0c.ls1iS7do6QjxY.1YR3sj89YYq0YGvSWnFEoxZHCyK11ELze.uyDhfWS9byhp2tc140OhbEhnucXNv7NO1pcAYtSjBB3ggV9QurgTM2JVi1vruxBKwNaoGh3QGC3y.NPC.0QZ1bW3rsYz8REEtt5MascybMZqCvXQLdGQgGGvvMMMJGcjVtBnY7HbmEtrrTKum3XbGlWkrg8.QKVwle55tRM7w5z94RB0GzWTBVBr00GMKCkOb9r94dY7l9u1KvMPdxR9zX01.ty.aRPPoETjP1DSCcR_2juJA5tbsNNl1da6udEU3x_gnHfBFsWzYXCzROz31MBr4y51qkmLFO2JndwL1qn_mmmvD3WraF_079l6lcd65n_aWIVUGvHYNcHib1DbQ1hYQANAtjDAGZaN_iLieRTecGa7H19DiCExrb8Ho.007co6r0c3W_AlLKAepKxkUtmx_TT.nAhwdl1g01O3YRu0DSAaPdgDZhHHGqupvXkxGVE5AawZDh.RUNmdbklSVwnGe8w0aOW02lK.4rg_eskAvxPH8MO_eDE4Z24ZRVX0i.Ms5vNfk2dkTjpXYxH94jy9MZlf4.390iONCoeSfyZSon.YYKg_yjCfN3nB0y0b7DnD4HHr7xecyZztKxKRD85Hvx_XvVUTkVCf8p4u.5lSZvOU013kniOZY8zIS_3ZwgmAQEhU3nai3QcdleyPbcraRJmtNjni9ORHWLS3FKhJxu4QZpCjFeI4ffn6JbfYsFIYtQcJnpnfVhgH_QlFWglPcFthekvdLH2ZXszTwh8JRkPnlUysoTf",mdrd: "tVkjbHqc4jZ2W.8dt9KvU4kb.rz39VlD8dPPy1nI72w-1744377397-1.2.1.1-jElKsLTh4WcqSmzSz4pQPIlUi7.BdafySDbt4FSUsfpUfL3U8RRvj.W5NDp69uvK4_jEXToUUlH5WWxAgxrjp1LA3SoxxqZj8GdiuskvX8K1b8TXURt7_4g9EXoY7UE5GFxRrOg7fcrIrSmZccuaqHFJGgf_dG9sY4kSoTFOQsF_YbQ07gD_w7Id.uY0uuNM9sT6Lj_Z4PageHk6l6Ap9TEZP2LiGgAUZfws0evqjkOIGLhEPnW0KfkHRWtrqjVvjP_Scp7Nc_DMexhZhlb8UFD2xpMNt1dKDdAPC8Pv62IeYXa1hVYpTx_HHXAFzetSdYh.m3Z7Tv87AiXytJBWTkiO849NDoKWLsU9DDl8.gTuQyIz_ZawU6ofDoPiqDyO270_A3tcsmSu4L3mtPS7NtAmMnzt81KhpmP09Kr4TseDP8rZVQeozHgz0yAGDHPimyI0GW0Cnyyd3IbQlMJ7YNPg8Ox7Sof5XhJmWmD7Dfuv4TQMGB58UlHcX9gwg9EtS3Q_ZzCXpppyfo2RTCOpzKT2ntVe4KchknmX3nhRvxeHl4SlrBoPsTUAML52cf2vMMfd9XfwjZx0ZIgbrX1by6ySnged7aSfIbwWr_t04B2R3AKbP0T_9LKwfpTOz7oic0ndT9gdWR2k1K_NdtbRrSoSFIPIEMzNV3ziQ6Yvxf5MX6qt1AoXaz_SUgxJ26iJ8PAVA_zV3D4bXD3.N87UtTvVcuVH.RWRwo1L2xSlTJj8.rvNLizQg9TEn28QCvO.QqfdUmoU_fFVTYUOdmW3BOYtMpx6YnRZUdEGPZ7e6euAPkNONTmNINJClbdobn5Zx0y3OwM5S6ZCmVHzi.UGrXCZGpOHpaAMM5uKuF0JIA7_8TEXadAZoNfb_JraerSB7h_suc_dNDN.iJBsNRdwRiX6YQR.0wuLNvnm_8xCIfZ2EYRHDcweSYXxmnDGiUJYuUqKfU3MZgOwcaSYpoHP9ORToXguwZVrD1s6Zv.uu7fjqY8EiKqiadm0nZNLgydLVDWw7lR7UwehB4NMv9TCtghFUa.oV5WbVs_JzXKjfrilwp43zZ55Fvs_VDMI4xs.x8HgzTjf5HimRa8RUl1ta5AOYVQ9TrVGkMbVzB3KZWL7FjFKODkBybQuIdwD8lWo94kr9lKXCysIngGaBwyDO8wqdQELCZZk7kXuKBiU9OBeq4ASMGNZVjcKVVcZoNBkJDQ9ouDza95tu4YbG8HwAOxpO25tbLINCAQw0p9NN9glCejrA1vS95QMiYczUwzP53ucTawnVnC7940MrmQF6awoIzqnDxj0mYg3.A2dygY2CTrTIsz0WrLPjSJIJFi7JqHF1uES_5Jf5B.R2K4ovbNYqwgWdmhksqUfxaZracpIRu.kwqe6gUSy8XJ4Axu8einxQsw023eD3g3MBUj6orgmRf_CRB9YIQr3kDxt9kXQZkbrBAZrvJQjtuR0hISmGIdI5C3.hkIDa5jfrOK_bQwmYcrvaMUhnuXeKedCXKx1bqL8Fp2uz77PMDgJVXQGn1OPVgX.JESmn6TjjSFzdiTuNuBfAiI674J_f_tTRqtF8pO2McK6t_G9mgT6bEW2UbiProsL8a09j2Iq.P8EswbripvP8pzmUrtbZbRHbVRCyQCN6dUddTNI5c3f76DwTRkVsCX0I1R_hbtAz7vbOMgeYt7C0pbPXuJIX7mmk_jkx22KmQmVEK1KzMubMhhAPUmaaCUebEPiNuiisb5UkJ12_gPhr0k497pjz2bmuFe1bx9D0EBhlZLb1ZQDRRNieZ_57YcjM7vqhL_s2F.tuScjzxu7zTrEtOwqNIEVQ91hBhWoRJ9cM861VOzWs7HTeXbH.7kESzGecnJ7jgT.gDRy5T3vVgClvgpHcW.rIX2R7nfP.6twhpdkEU61pp_rRHRoLofR8Zram1SPgiPw7kt.BLeZxTTfJIxKtN6_kAkcVQjiTkS3QrbdW1ZqDJ0WMNxu.k.wSD3GuRAncKQerSlgb5eHHcU3hOovnvK5KjnBJrmJ7lVm2b23Tz6NzUQp0WOf1zsNDq6ZHYNBDPivbA"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=92eac26d4ba99d24';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, "\/07889003?__cf_chl_rt_tk=tdMPjZ8k8VdjPJcmwQ9LAcj7go7dLLKdPBnAbaAWW7w-1744377397-1.0.1.1-OVGcpMfoNalqGo0fEZv1nxPESoFJa5_gw9ni.3VSTLw" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>