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: '92e5880239a55f7b',cH: 'TfIQk7Wpsm7wxnFmmSEF52N6PEcSB.WHux9.waTIt8k-1744322575-1.2.1.1-vdU.WJwyJc9.cGOsLD_mZRU2rOlAIFX3kOVbWRz.mHlJVscmn07e6zffScaVG7yX',cUPMDTk: "\/0721.93046?__cf_chl_tk=JOkgFgQM_QhD2_keKSWuqYkYv3a0B2XAOeu4dZZcn5Q-1744322575-1.0.1.1-8ezwYtQeNa.pyUqbmMrizsUyK6XlWlbTfNl.zxxiDxU",cFPWv: 'b',cITimeS: '1744322575',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/0721.93046?__cf_chl_f_tk=JOkgFgQM_QhD2_keKSWuqYkYv3a0B2XAOeu4dZZcn5Q-1744322575-1.0.1.1-8ezwYtQeNa.pyUqbmMrizsUyK6XlWlbTfNl.zxxiDxU",md: "Nce6K3llOsuFQ3cH1O5kDJSsk.ntGGy_lCRpQQTaHD0-1744322575-1.2.1.1-2viltgXwZy9QXdb_vs34dG1swUJDjQGLkRgHdBYB1NxqHLX872oJf9KOpJbDVBTZlwq5PnzjRM9.fZ6kgMhMXO67EqIKjsyU_rUOZvmnRDYBGcbsWBrqI7sH9aqMJUz_D5gWeU2JIDS1_BxIpIfE3lggfiRoWsVUDbLDmRYspL9ptiP6G8ECpeuZUeNxQJ7qEFv8OAB1.ZOG8p2s2ywEyQY66.O3Gb.GKOghCG04sr7maRN3aKxKh5mdrlRdydV8sD2MYiVjxMq3GGXI0xO8Os0w2IteMBYPVnWixoVGAq8rK._SddD1jNbhuXN1Uh52znJmgzWFVFJsQde.vecq676KW0uPWmoiF67C6ziP2mAB.PwpzsqrzkiJvHquQ.p474kmWVzUSkb7ddDKZ5bWT0lDhqhGiniZ8Suu1OnhiqnFq20vwnQG_.HrSNJ0nCLxZZORbhktq.ljY5hO9XGT7gDXbhGAYqpkCzMIaqFUxoQdbxaX4i.wDYqOxQGiuCc3tDJkQcHiGMJ_GL3Mafe1jYmbLyax1Qib.eoR3i6pYm7L3WFWT.MkXQiTPnN6VqRyN5mMQFh2fBK.ehkJsqP6ugttDQbIxuJLj_pazYP8IR3OwOAxTQ_v_HJ9o18nndZSZ5EgIkyGo6I7TTXV5Q1sbDG8zlhGL.6XkQFh5COmzQ0uaJzE0HUUjq.5EOXr06LkYo9U_X8iaPcm9um8qDcqu84XtDpGiaz90uLyncZOIE6tgLu9jtPiQIk0jCcHbsZmGr5NJEhTMSyt54EcpPq5fkQOD73Q54vtpomAJEcd.diZEzIDcPm2Rs40S7NsB9m5f.1vU0NzxvBei2n.XpoKaBrkK5kieL7YtGnSgqOXuIQzSqaBAc4p3Q_vM8mx9doT5IaKBjdGihh0C_ZeW4gmAsFN6e6DGl_dP5zDq5UzHBGDa7UcsrqpReQLxuqEgGEETD8bNZMfJbuYazRrhgVnZ8zRxK4b96Yf31mnnywrlpdmFdQZ7r8mc8hX3jDZ8tlnZm3CuZ68diHOmlFd2kjvlN.vtz9VoQ.tSB5DEswpI2m3Rco4GNzhSqMEj44r9v3ZmKxacRdf5YJjbhr5S4gWia79o44ny_eyKFb_1AvOk4CJVZJu4iEyskt6PlMihqfbjsEVIRuAUjaFDpWj3rhIbzYWPvydxOKOEFYPkGhTn1shinFcqTF_oRgQPanvpssd",mdrd: "QC2gfG.4lEOJy8Wxhm35.dbgK9dh42JQvUcYk3l7qpg-1744322575-1.2.1.1-1ZiBMtpq1TYrH_OP0Cci.rtxMb_CfG3mYrvI3DHRRV9CUoZJjugsv08lRx95CeHxT.CJ06QiqEHHAuIzldh.u2gVxpTJii.7k9sJqXBtvFcsETZVKhBDQ5dAxGFipesKPCi_VEKaU7dDCr2WAcQm_.Gmn8BCP.5_OM48_vljNn9uCtvmREjLG.MsijUjwI6VBAcAHZKySwPmsfnMUoG2YnzA_HRCrER1uei0hsSIhzdLeZswhKfiEUPm2AWj7DO1mhtEpnartbsQFeNiTDuuLP9iNmvWOfbgowl5r3QlPVft0hVb9Ve_.gi69oWB1d8fWTNBM49o3I3qcxrqcRtqjRGvM3rCCfopIEqsSRRSgHlmAg8e0ar5Pnv7npTpz0pPg3qrQLyqRxWRUBWig6OhSL3lU3Vdrnv5PgC1SnBrhzDJLEusR4axPHn2cIyBtoSaPb._ZUWsUWHMe_cK9atBYeq2MQrgkkohhoJi9cGnJ7KexhhCmosX0jl3ggTB4Tu0.i87zikCYQUgvZwEkIAnfud_82qFyg5j0MCL6eOHCODK3_i.XYBRtlXh1Ig7l7_iYu.HsK.3GK6KF.NIO5qshYtmhlI_tiCbD0UbHv7rCg9HI3k7uDqLoNKz_5llHZOTOuxi63.mD6sXT8gkLBgD1.8_44jAEqvJqcKJj_7kb80SfVRlyOQEuEQnWrz_QHpewehnbZ2mX5tjK3unbOulv3Oz2gzuYLVxY6mUc4OQPy2_KfyzSy7rFBhrpPNgFjdStHPBehgrIqv9XM5_8Tx5gceTt6dVtrS1vmDqwxddqNR1MUeI3nASdM4UYfCimlgxAxT..rSXEkEFqWb5UzOG16GTEzWuQAdLJwmKPQG27wMMluVBM5DCDQ5ckNRGSFYD9tmOgQA_h8lJxHqm_DUfJT97Iro0vKTtvzp_fkSnbbTfqrGYlNrUkhi7_.sPb6kirbQZP3xGOZNPttT6mgrZaWCxy_E61iGFKMBQeFwsMKnkUiyi7x_EqNplAM6gmQ0jTo7.XN6DlsOHbedocdWvANY4JICjSRAdgfzuqRHVEbbbAvSmaFYbjF_tz5rrZGKdgum2bP_h4LJsMtjbPbpB7EVG.V7_XiZSp2SnqVun.b1m38fp1Zw.qdbCU5GLuTjJquAbpS.614Y_K7nDveMBZtg0gs9iPm_UXls0SQYHbkvRPgeeyicfd5zHjZdSmywqs937tV8J7IVjRxf.ABvCHNKatP4cMtNIX2owiT95beInSAJvdrtqUB.HH0ODCsmMbzjhMENB6JbljHvFWcZ77qIbKF1zCa_MOOd5n56nuhXgg_8bLSPrZqLwgkH0p6iHyQ5IccTQoYNPyUV9zyWAzkf3X_MBR3N_DU0noEWqJaCvnAMdFSdquRzrdhTtUyzrqxzgp8muSKKCU5stT_uav1PTsbF61xKmlgpPzg6tUv4msl7nWgeiIuwYDagDTbrIatz8.32pA95J6tf9Qe5S7klLZREbXcUGwL9ZJq7qpjeX7zODmYUrIMsuyHeMSqRmkY2_aYQc1DckY2jdZN9AkWyp8XO7vVCvFZIYn1v17taZVRZcyfTMXazpoiCCns_UpYfpRys6rHSdt1b5uF7.RL5K.5ACoG7PVxsiqyyooprOiqILGyJAPJbishV.jKsxTOOTWogHm5of7p4m4Mvc2GbVrHwOv6khDaPSzoqfHEm1J2iTXJ_UGLaEZr7UvZJVdXibAmVF2FiKv4j0V1yFR1kyzWYjO42OIRv9xs4c9xAOeorgedmPE8Wto7NsrWQOQPMa1pIVMu01qEdOsBemoWJf6LEtMgc6LiUNgjM4Wfa2XrwZm5w1SF0dfMovIwsaIANcx97F5aimSxNyAN_gboXKQBfXxJqcVNzjXqMui2HtrBjmvLz4.S_qGwevzpnLozbtB37AGa00IUsXVxNy_9JtYNyM99zNWV_lqgSIgS.d6..FuklR.zFD4sBNALXb2gptd41CpIu_rhyh9zr00BdVu9VTFjFhuZ_f.AHzwLodh7ZO3pXBuaxRsNky0m4Y"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=92e5880239a55f7b';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, "\/0721.93046?__cf_chl_rt_tk=JOkgFgQM_QhD2_keKSWuqYkYv3a0B2XAOeu4dZZcn5Q-1744322575-1.0.1.1-8ezwYtQeNa.pyUqbmMrizsUyK6XlWlbTfNl.zxxiDxU" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>