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: '92d4b77bb8dfa8da',cH: 'K_rbMyij_TZ1.BgcuaDvbbAWENIRopWmFoxy0_YpMv4-1744146262-1.2.1.1-8.6j.r2Ry8COAWfkQwVmQCsXyfAREdUNN0M9kTBF2A_3BUgR4fXXUUiHLfSorH6t',cUPMDTk: "\/0872.34022?__cf_chl_tk=8B6mdFeU22mg1zB7ILPU.0qbXhueZLi71tYlVFsxeN4-1744146262-1.0.1.1-BrR7H9QflbtggAovBczDv0jnMQ8EZp8XqpPyDYha3EU",cFPWv: 'g',cITimeS: '1744146262',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/0872.34022?__cf_chl_f_tk=8B6mdFeU22mg1zB7ILPU.0qbXhueZLi71tYlVFsxeN4-1744146262-1.0.1.1-BrR7H9QflbtggAovBczDv0jnMQ8EZp8XqpPyDYha3EU",md: "IP2noQHAaGdlFHq1OZo8LLeEoli0Cg8ylj.O0E.THAY-1744146262-1.2.1.1-FzAHMhuMTVsG94qxW2mP3l7_L2tqLhpr891nSV1C3zFHXcx8IhH6dhM3UHvyYHBV7KyfPENWkNZPiE9lmy3XcYQfh9aLPyTpob.OitV0jXvkbaF0tcci9BqLP2VkL9UZ3CnV5RhKjVTWe35YItuCV5LlRZQdZORVXOYpCNePZBdrA5DAxSYGeCe1bb5z3fe0hMpyUM3Xp1DzIUMheNEzPo.BfHEPy7skq4rYCo5NfNOaQHNAKU_kf24n4ZrcSE_5IG_CICmpS4_P1mqooSrK3pk_bnIKQVInmeI8dVAQV65xxzLXYM1xVOdJ80yINVk845wJhd6LRhmDwdeCSIJaGC.rGSe5w1sxC_nssyd8hICJ5Nwe.km4jwiKUG4O_AAiGnvPH1XRqY37S_bOjiUk4WBcaQfzDfLZdlqSU.lUeQwD7b3T865VkSMNoh74fMMO5ugU0RiwqC8gJfuVCShdgC9.rG1C1vepjCfdNgyPpyQxbuny3mXyouqpGELuSWt817N_irryn6beWjODtMpVlxhOtS7JE1_OYCNkgTPfJSA2p3q1Tg.fvDVhVSYBh_9stjfImQ143ByJxwgezOSglvfsuSp2vHUZDmJoYuBcMcM.K5KcBzaJafIEautUZENEgpiAFEocx4Jgp76MsKCunMCvJfGCMJiDzjwjjF.55hOZYZsFhT.6vIZ8dwwtxABOXxYQiqd_4I1vZ8Wmz9eqG8moheP71rahqGxIT_iOBSuW4O5T8rS11EcgbJPu8tWURES__061YeV0k3BBxFOgkp19hq9Wywoyp5BbKULm9fopMqZUvgqAETahPgpEa.eUGa_sMu21ZDJdzf_jwCCmSuZ8pNLx_wwjIytz8LurIWL74qg.uf_8C.5YXIMD3xmYFUgX3QfOKq2cbpqwfkeftZqpIZRVFJAvVtRPv2xKa8_QoANrJm1jdW_DxoECR.7I5Q4l_.BOOAGxzrjeuSQFtfeZ8SW_IHAezSIvMY9jUbmRcAQguJuFJaDNSpusFHamswMOE_Pbx6T3_o5G2GF21rPHbUMF0uz6AXfoH2upt2OFFia52rgARuvcfcagP5enU1.s._u.vgoUS0e8VCufRdO717Yx7uQAcf4uYlxk.Spv7gusUv4xKoeM4PcnpJBnODKVzziIGsLIti4KL1.I_nt.SmvgR.cLsbf9dFhZyHOER29cCxtzL5fge8v4vCYz",mdrd: ".5Sr941mmlDPBKY86950Imgs.ToG4Qsc6UHHTME4VaA-1744146262-1.2.1.1-QY2CbiKVhGAr3f7CQNdIKAacHK2jjDE54esnCbWYrBlktRleMeZvvwBFUg_lkk3IZgJbBcIfnhBS.ohTM02XEozqGuudd64wxxvrdhyM9y6_dgKyikfcP..I17e5gQ4HpevI77CzxM5kowiIXTG0bUQZv_bSL7WkcrQTLdTjy_zTL4emR6T_Vs8gkmXKB_wooxzkqzBTDRg7q4HGu3Hrq0jdXcJCs60a5cNSNvu1HLt_hJnDAhbLOVgEzkOOckx52mZWL6NWbst8j7VAAe0_Xds7M1Yar9ykVV2X6Qw0EKi3_Wbow2OA9dL3p9hYzpBdBW4.G.Ef5HRgfCUPKRh3XMM1edo6NV2N.nfC2_RzRkVO5CT6uCu6b9FKMv1g9uQmpVTMnL54QZhSp2.K9aq8b4M.7bzL_Rn_rseCqcgmwZC2vFF6yCkEY.tpU1d580qSSIWv_Xtj556zcsRr6PxyBX2Zqm7GHFfB2iRufJ3bdbPOiN3.Itd0kd.m6WbO8RTc_Bo0wNS3wVDBNAwv9_KXgnLYaprsHJVM_IVffFgtmJkU74cRhZ31A4vHRgACgVnFitemsLLfEg6x9ZauP_0o.RBUUPoCAZn2YYlj7Z2oReBhN.02ItgCavi781qhjr9ydyGVq8ebZ1wAkgRCx0zCC7EUU0W2FEkOLEu0JPhRXgosYXY5vFuUIhUPgoNujjj2yjWY.L1xqfKGdPX354kb4GgF98cfuqUZFuE4ORiODrolscOuZ6HHfFwYLwSBETUsH1zeJly66DGbrUKfELcp4CarKwzISZYSOvWVVMUmHMUXmv7b9RQDTuVK7b2W.0rIIYHZbiSaVgYrj.Yy2YCyxooJRzSjETtiRqCnEa3hysXK_Y4ZlHeX36JMCZBRRdE_wKuDhCS3ccaXnelj2SRsh2hGMtI40oX9xpA0Aao1QfXLLVz72vdtDFvVGtQpHf5g7TEw3HRJq7CNMBPl8zLu2e4Bn46VqrjqA5nTj1mD4Mq6KkK0KEgJxjHIAbnprAVu1xb3DJTQbGtQ1leWcc197mWiLHHHRFfncMWRpGesgX1M1SxWjv1iOpDERZ53M1KNILNcUhcV7jojtHg5XhH2uDhTAgXXbwV.ga9TYFc6QJ_81Sg_eHCK0FCldg5eJb3LiJQg3Wi1O8tXgD94BPRrj.qgp2BuUf3kpl4JLVmZsAHyGmhVpOKtWngEHELXrXvcGTBBIbAlw1LRHNJ3mcRkyaKu9VAVmx._odZnuOTyI.ED37C6M3XtKy4KntvbsbRleGAtwj2EyvO4CFOcLFpxFqGV3MYq0RL0LSJHaO1RXhAEQE5zVy.A0JIQ8DhF_knXBQEqnshBQk5BycyupU2leRuRfPLREsnn96EdOSDBcxuRq1510_Csy_95K84xeBE31jamw_HXXbYAgbQUswFbs.V_nocYvn5NvOdCL0twenBEHy24WIv.h7OMr9vQ7VWFFA33MGzHuVd6W.dL.ljzaMl711Bn7xU79NfLYeECUAmT8rD3Fr6_s7c9ivzJm7wNkTp9rry8qLHQWzt9eJJ4RgrWubiM6X0btxx._axwzO6teB.SAqf1Poyse1BS45q6SUfiuVQxu.tQBJKcGUapuH8EW60nwP6_xRcOFbCQvVvBH0WmVt1YosJZas65.ik6KgNYZwhaGoE46Xon13sLwMoYKQ7n6OpZN0.QrsJFeRYNx9RpwOZzKF.Qsnxu7aNTEkMgrZqqgRfHbmIUnKK46yIrQ_CIHf8He_C23htBP8g8XEueGJeTioXmScSOX1aAqdWXAtKDMNfrGOSqnGxM2KOTMHEZ5adapZlbQTje0x6NCENNVFplPI1W8ggj5dTN2_2DO7YOq19aYDmAGj.Y1xBM6jL1NU1Uz9AM0CNWBwbURhg1d3v5D1c_WsTHP6Sjw8CEKCn0Onh6p5Wu62Put.KY_6ufpTtrGkukwlzqO6rbsiba5kQxppEAO5YRFXrqp2cLBaiGva6E03J4a4LSYYyYt51.4vyp6CJTA7i30mvWNaU_E9iP_gcrWraJ7wOfhoELWvZzIzV2ZOlxjpQolg"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=92d4b77bb8dfa8da';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, "\/0872.34022?__cf_chl_rt_tk=8B6mdFeU22mg1zB7ILPU.0qbXhueZLi71tYlVFsxeN4-1744146262-1.0.1.1-BrR7H9QflbtggAovBczDv0jnMQ8EZp8XqpPyDYha3EU" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>