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: '92d60fa48e88ce3b',cH: 'wJGs5XZanG.vncEhiRs_xN.EQd_PLhuR__cQXRKesN8-1744160359-1.2.1.1-_K_QNAU5wUGlJvWsDYY52H7ujD.H_._AC9Tsq07pD8Qgfez2_LBmiNvExcd0GtyF',cUPMDTk: "\/1022.93046?__cf_chl_tk=pXLjvVeWRCrDqOgzZfgfzOn68DCT.FxSPd6cQPEO5Ok-1744160359-1.0.1.1-QphB40p6..CjaxG674ddoAjxHaRcWaRa_ym3YZAaCzI",cFPWv: 'g',cITimeS: '1744160359',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/1022.93046?__cf_chl_f_tk=pXLjvVeWRCrDqOgzZfgfzOn68DCT.FxSPd6cQPEO5Ok-1744160359-1.0.1.1-QphB40p6..CjaxG674ddoAjxHaRcWaRa_ym3YZAaCzI",md: "NfANulOObwkWNtS86ydao8jsnXJTMNca1I3LGiNF1MY-1744160359-1.2.1.1-Olrz2GOQ6.WjMk1uvOeTeMmpF5W8ENqvKCGpiPqFm35_vAJ_7ojYzDDq2PR0_170xM6j1qU6WzN5hawyg08XrGWSwrtsmRnIo45vjWXJFHUKAJ5KBjTqWl6p55y_vmEpxDQ8PMSgOWNcId3KxJCo9mzJBTXJiTOf7V9XXsYkdVlfC0Tq9xZ8KpInVirpeKwJgMvQGkVz6SpFPZJRuLUFy.PYt2W3I.dMgp6j6Y4.Him9Lm9CTB4hvnfn3l420G9.C839YcpaSAHCr7Q67z0LgM89W8ZKl3jTzLrx1OAV6rTI4IwuAuaELy4jmhBWa3CDzNTfCyVy8Z26xphR5pRN1ld4LZryefNWdvEuMaSiTOFzHfj9zzJ.IuHqJX2WjJ2i.0bFkkKwMQjgBy5xf3th9fwyIVZpAwJLoGujNM_D.pjUEIqEgomAR8rDGCEpHfgKjq2Ap9T3apunSYR7L1dVVMc75cfkAPC97E_ClZAELEi8fNh4SNv0gq4cAB51Apx3LGLMiBtTUaKnRxsRjaneXYk556b5_RyJnqzfANrh5LkPaYtLQOhN6Xqvf1lG810YYZj1vmzagLc.1G6MHJvYNls5kWKbvXlWzK_H.5.TEerRsJwY4RkIHFpkZaK4ENtsZ.EAPgzYhojuBgukQ5thTZU5k9YpTPuRmg_IUSCFH5DpWZBCThdNfHyHircgTmjexQDY.CrVgfIr710hMnpfZm.jZOUsGr_gwoRJHMcwUzLbIIKh8hHn9EFbkHBkO50acuw1gxjkvtstber6Jc3otAdf5Oqkw.vpWFZU6Zose2s9XQ_WZA2MRxTXcuBZ6jfOnFi62S_Q3IRT5bOMdNLLB6SsvfFL.y92Q1Sat_a86tsZACqYV3eT4zF0I4osCAtjGLlFAMCZ3z9iwT8.V5pDqiUqjQXL400aj2wfLoRNzBoNu3_5IN6TnI74s.7x8nLTzqqIZ.fezMLzYQuueeIL04ZRFi7AyWXelnwtz2NwqGsxTr6fwHFBOwjKVs0h.MNiFWN0wCNKNqi3wt6N.ZLf0OPUfXgaDWaqyORc8OCe3vTOr0xVIECZtA504__rCWklqhJWGWRNr50afw48q73gDPx4GUwS6_A4KBa7APASZ10HsbDslmJohv13LJszpy_L1mf2HM3bJTOeKRJ_XALUspvQJGPfcMhHE5EUr_eKpRqJiAyLjhZIDp7vpfug8iNx",mdrd: "7WXV14s7CKbgm8oEAQbh.EYQEo5a.CDwbZAYsJDELqw-1744160359-1.2.1.1-sRG9vTj17ZUY6z7ogahLe8xCnbs6o1fcqGStJFl93DdEscRaQakVaGnwGHipVSJsFootnO.0lZbJFwyckBxrT4Vtocvktdb4lktyxo1m_EvQKEvSTcQUnbEx2gfA0jkUOWVDsnG6QV5tjeH5vd6G1I5EOXoaSc6cOiV3L7n9AR_j1Vo6ZzCIlGN9zCZlXVU2XciGPcmtr6yPbC68.OJO9pj.26ymWDNxc2lCAJEe5qkJ0bsE0e9sIpY2.FPznFjGlcZBjM.cZFzCQf2Z0ffhHyUuv84q548lxHME0IAp1msnTYuou9jh9CRlYti9hJBOTNuwYC.Kuew9Rd33rQOdMmsxpE7qJZZLUcn_TLicW7ztupt9ZIaFSeV.d056g0efPAt0JYPU2jumanaLlSX_BKYaiVjCiO0r685DKuAcK90AfZ4uhaE5436ZQlT.o20MNa9nAJ0TPx0BNE2rR86V0G2EtDqHwPctnzGpgZGKCaL7Kyri8iCREjt1bTb5whdQNLsO1HHJ8rOzDyK5f_79otlz_Og_918ZvZc6pBGenx9Noli8edgO1Unc4k6.S..PqYyN7k4vfmyK8VqAySJpjbXz8cIX0xa5RtRJV3o7ZYKFchOtGvd0WFZQ91GabDKL9QXfe68P1ZcLLkXlpycggDNxAU46PAwxKCEsum94rVVxCXv0E0PXTzt._EcrsbzTJL8dyFAlkmGXKeczpmEtEglqb_g_v7O689U9r16GcqNFpnELAPjbE6FJ5HrRlVg.N76uZJrt7Lw7TKbOl0iXb7KqYf76eDped5G31o8cLVC8fkNuj9V3YAaK86f15.4iP2eyRDj_TKBe__N9040Mo1FolkwXSTXKj3RIkdZuqI0SoAEFUu9ecYKuAdt963rK4hXNqNa0iOHBGXjHSJ7C7n.HEuVBMBs2CzpAaID08WKTfE7QT.avpBZVQPa81yO2AQno45.HDLwtfAfukfMoU.JTpY8BOwAUvEly1LU3o6EcyBHmHoVQ7TRGVFUoWxuGWmY5wu9AucOmrfWFFw_rqUpANkx6veTGqSgd9NC5VXKelM6YMyZoAO4oi2rcLCrFqmvk8FzaezqYytxXfo66GQCjtK21s.yn2K4TqnL.MCtUDDuDbSqAQpy4cJcimeWY3Vcvp8Jbt9wcDKT_T0p7GLJ3gf24SShg8SkugJGNp3AqN7nUK0w5AnLODDt4Y_SUxfbPMNslSWEBAcRSyQ_xfRnkyFy3eEIQse9ZsRd.L1yVo8rHcBvcNFCWA1TQueEEZ6xrWbEpsiNyQ_LGjiB4Rs5MKkDPHU.lJTmC2KKEqKgShfB3_On6C3QVsEVoepmkY3QohiY4mzMHqL4c9xhhatR0LsHjD7QVft6rPoPdnSErVEzLCelgfdHOXBUSGJUSvKL2r07vpjptaRamtxM0w5lrX02TXFWvZvjDb1fm7T66nNOC09ZhsW_A8bRXOLn2c8kGANKGbWOgsihK3cHuvOu7xWpvmZQfdffkc_siYCddmSl_JA0hn2G48Paq5Igg.HKquejj2h1wq9tE.azBl.o.jC_z3HASvutRiVi_cTIz8MqdMGChtKOFsesoRArLm7fCW7b0zjyExoVuuXFbci9JDsfUxj59ww6Wy2PwHDWpsvCNc6GezkVOjceDP1YawiBuPeWawkP1CeOso2lsVJBkSjUPIJuzNWueEuiBn8Z_wS4Hw7RyKVklqgx3NEymidg9ujLyQcTMzGWQm6CBB2xZ1eOkDG_2SJ_NGV2ZSdJH7E87D1Q.BXjpuHU4zo.BgTcmorHXId6HTe1y4DRhHVQo8VMrguALm1P2.xB__KaegI60lJNUNibAYaBJ2ZNZ3VvgAX0QXVsvJ_IsMknBZ1e35YY4qe88AQ72C_5KcQhGf5ENT44aD20tMbrnuzCP.2PJBDN7fNxpy3b1O8kUkvzQHz58F4UFc1syNJrVCoK1me.RT8NSXwJVyp5B0xFivdax68RHDbtvucdnWiyOu2Qbh_rVSpZu0NAxtJFrs2QR_rUt90RFYN8hKMgVAMUY0rmekLMdT0s5jFWGCOmRxA"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=92d60fa48e88ce3b';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, "\/1022.93046?__cf_chl_rt_tk=pXLjvVeWRCrDqOgzZfgfzOn68DCT.FxSPd6cQPEO5Ok-1744160359-1.0.1.1-QphB40p6..CjaxG674ddoAjxHaRcWaRa_ym3YZAaCzI" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>