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: '92d9e2cf5812ce11',cH: 'tCXawwSTQYfBqLWkXFYjMDjoGU_Q98dmExLM1XlnRss-1744200465-1.2.1.1-lMMSinN86s0z0UU3VxcJUdHgT1C8E.HMI85Rk5D22oN6VdhrEOZl.3blbXCclJF_',cUPMDTk: "\/1454.37009?__cf_chl_tk=X.iZGKyVHZb.bw_4OqYdZb4EhjkTGIpT4gWBYAentxQ-1744200465-1.0.1.1-dSGjYW3wj2Y9j9s49rXig4AHH5Jsj6n6zm3mEGmPncI",cFPWv: 'g',cITimeS: '1744200465',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/1454.37009?__cf_chl_f_tk=X.iZGKyVHZb.bw_4OqYdZb4EhjkTGIpT4gWBYAentxQ-1744200465-1.0.1.1-dSGjYW3wj2Y9j9s49rXig4AHH5Jsj6n6zm3mEGmPncI",md: "WJx4J1f3Za_pjRY_NM9NSzHfCKh7c6p0IBXJwkKsV5o-1744200465-1.2.1.1-BkiZ2ghnd_jdBWgtFAL.98CbOJtcYQ9accqXggqEqu7t2Tz4bpzXk7xx_VJlhS70eKDBuLQpi1SWgh6dOs.ZrEDRxm_fyFmKQjf23jFZcmPCaDB9AlmBYjcPYLQlvxR5biMlfVkfAamv45r_4hV4_gp_7RTbR9bagVOzqkDuu2XjK_OUsTwFC2FbwwIRyxron98vU5tdDLdG.3KQgi8VfBJPt5XmfVP7FgiDy2TxivRBYdbzRwMH5kZ_cQHj7LCbg23KD3RQiNIsDHyN2yslvEMgK12ZRughS08oOkOGcVx0f8oaP6iYtSGmIe0fjMfuhZftJ03GmQ8yrPHbofGI5KD1S38s7qnlAyh4J0drMK.FBHOUjDYAgy3Whxju1sWFX0izu5qoeMqi3tGyVcAvFBACJETN4cWxLnrVAJnFv77QwWXd3k4llPc3tMkEbGR1UhfpIy66MUK8UvZ8qqh4B.u62NTRY.CgtFFhL_IyfRyeNSXCPyCNAKY5NQ_nxxi4847gpXv8KSslFY5qZPfIhBW8ozI_Jm.kcPFf9qCr4epr4fLqr4ea.9298gm.tO7vzEDZx1mnoJMxFbccN_g62BYp8VrvDSEU7Abf0dcp_qnyjo6553o3nrBUaZVGS6zCYKsikaqb10lcRF5p27M9Y_Gqb0mg2HntdeVHuT3X95cSMrRdYURKAbEOvTgI9hswSCxvTyi5PgUDzMK9N9Oaj3e2iONGfaoIn0GVb7V.8qz_xkmoWm7P7j3cyoBcKveFtil1.f6arye6VZCm1Y6W.CftBD0IugAo9qzDV902OmgsV5jFwVMeddpfK.KMY94PHrzhL9hzWgDXyt_CMBpwIi5riXBe8cmdLZXEA4Da8GcDDvohJ6mqeVB24O9nqeHAi8oRGAlmWGyobN8soBzD_ANI8D_.kkZdJH2xt1O8a.Vf.0fuqKdpWiaZVoyzBpwCzfUx7w3pBQmC8_XSjw1pgfVYQkcY_ch_Kd5ELaV.ghAtsHq1b8HOcA16QfGWwCOajaTsq5zCZGNo5OO2_O8tVmCJX.icLEGvkDtE9Ujuskl2f8nLEg_AdugYyccDhIZo_vCl17xhK7q6HOVjyyDY29jznFIotXiCrJDh0ky1bSva2AzgYYZRrV1ztwvfaeuOmD_iTFHQ1KPKSqbCrdhTPV6g1rhmw.T.mtCStPTN1H0Knkzy.4hYV_EZzf8k0UVD",mdrd: "OFSejOdVBtvfK40azyKb5V9X5gJ0HnPIwnPg7fHvR6o-1744200465-1.2.1.1-yTiVmD104HILECknvXfN0O0BoyrI72hVSIDyEwwdSMmuvwhs3_4_iF1UULFA10oDRbKZmzoNwkL6JqWgD2wqIkyFngcnuYDkBbO5ZqBIWmrw4xh1BsMh9DvWGgrt2dfufyOlOwc1i8W54XYYCt43T.q.Z9woJKN8z6R7vgp9KFG8ZyT6Be3CiKM2_bAdj_53otu.UeNUfYvA3wuwN45i1vvpgnQu0aumHRP244.ZbPEm_lxRrAXJIjKMLyV39lvtc2L_gH_clgMgqcDaWmnHDdA2eF4GXEAFb_M1OZJxgLQtlY9VV0D5aXIbEKPpU79mvm5gy0427lCg2e.TRn7rOUlo8FrIpuZE3iYxTC.3YGxCYgV4xYRG25.FeuPBF7dOtWl5DIsmShRYu3x2ANM5CyHmJFoJA0960xVqe_.I8dxjFQdbqoYYhGNRvdNI_bukcOT3taphEstJJHWzkNaLEZfHHwaB797foq8zsKuu3XDJ4eq6D7gQ3Xmva6C2DimAmuns95b3TSQp179rUokVjo.KJufcl7yA2IW_JJqVAXXIbL67oITd5ITRa_bO8ddYB9Bbc67SczyATsna5_EInvw5gdlvMJGojcQ3cUJsw.4WCYx5tKlSQAFnmcMTese2pIkhqJQp1weoWmVgFL5lBejIdlCc0bNmI3_Xyelp8t6t308_GWqykXEEUkiz2CKitQfU2NCnNY.YrRfdYz1saNU6Ba3H3YM5dooI2fis3pi4C5KOJTPpLyBI1eXE3SEkynl2XsiTDeEgK9DCUDpshVcroW9Wakkfy1KlLS8gFYkee7VaXtU2U6GoF_wGPLNd0rInYtFRwP7VVUx7FFwyvqW_ARrjXEGtEPKbd1dbbTjUM5_9DGe.Dm.rtD76MS0K8ag6COKEj56kNr.viO5Wu2.ymK2zNggxG_nK3tgS.bTFoTR53qpYIW2GkPfV0YATZYie0gmhF5rfZmfv6pj.pgF0uRJEOV1A.BeqdXw0NzRlxLOOYVeTawNUwGs2O6B6N3zmvOxVuR.X1s_4Oo1gm2VKDrVDpu9AmKrZnqCrSTOFZcxlyMNU4i_RdKR7J0X8s.89.Vav3428SK0sDx2NgyCzpL5XZrccKXr49TNREPXASbwBrEELqdQUZnxvHxmrwaW.c2Xzd3QEndnhaKMZ1vdFoR3_JWANvSr8iwlU1T_02JFkbkXjykav4mKib67KYjD.xlESPzKizI4I99VZo45twyrY_3HjUagl2E33KWR64Ok7EmZV7FZFW7R06MOXI1OMJFSQ6_55P7TnvBlKbNPrc095JDOn1uVccHKGRaz0iB8wCFa7ZIfcKJipOf8WT8GnvkvNCYRFVZa0KroRDKJgukaBw2jt4tw5DHRpPqX1l3fdpb0q6g_dMi7jcbf0fJUWQOU83hUDaWsBVjHq_fJy8V01CgwR__FtE_gnZ3UBDpayYrBTzxlTQ7zQiB87ei8fC_yMV00jSWFGB1cMBcc2zkxOL47qW8b7yGKXn7Su0sXPIhoy8FKrRrxJsDyZj2GARyUNMll1pQoLo3AvkhzzXEScI0tYkoAyqbORZkrd7J_Bf0lTkCLX2NA7sddCsq.gmQgZoJ7QwNE3ps.yLF4R02SVqesNn73louMm76trHgaQuJ9ixOSZj_rJJzT2L9RK8FSEV42B5GnrVy86G7VenxtrbyXUskmzm0HotCGrIL98xUoCoDEZK6gl4UTrFQm9ZBEbYYUF5ejwHHngCySIVFTQyms_EQ4oqJ8DEbeBfwXzyvzYKG9wT3t32y5s2Kx1eXn6NjeVf5l2C6xvlHZC0Yw.tgxJy.wIorrB1rV0xUQvISxNmG._6dyEHVMskQtOQTuixJAcW5xIfpiN1Hjz5vbXksUsYLHRluRWNjRnh2y0.ds3a0TGYg7GW7PGelQVSpIcba0ARuS5I2pUnv_KT8w6iuc3AwqeJSsS4i5GIacTreD.6ft3cjKp6reBWjPZNSWrLcWIxPBQ2xOXrGZ1cxttql4WFUYXufY.DgB0EeqWthwKUoXjEt6iB6wdnoMKqV_hDhq98YqUT4uQ5g"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=92d9e2cf5812ce11';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, "\/1454.37009?__cf_chl_rt_tk=X.iZGKyVHZb.bw_4OqYdZb4EhjkTGIpT4gWBYAentxQ-1744200465-1.0.1.1-dSGjYW3wj2Y9j9s49rXig4AHH5Jsj6n6zm3mEGmPncI" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>