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: '92dc45120ec1f93f',cH: '1F9M7B36xoY8brnOh.MY4eoVKSG7j2VhonI.Pdo37HY-1744225462-1.2.1.1-dkzyUBu3KYyWSlD.PE_74vX6S6iD7n6AL2WAcS74B3_kWjcawOy3GLQqef5gFfER',cUPMDTk: "\/0457.93002?__cf_chl_tk=XU3cRiOI7HL7HgPwDo101JBEWoQM5766ulpN8AEfdTM-1744225462-1.0.1.1-GrQ3dJLqhsd_CcwmGrPXflrMsCvy6CmWpDToFtdl0AE",cFPWv: 'g',cITimeS: '1744225462',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/0457.93002?__cf_chl_f_tk=XU3cRiOI7HL7HgPwDo101JBEWoQM5766ulpN8AEfdTM-1744225462-1.0.1.1-GrQ3dJLqhsd_CcwmGrPXflrMsCvy6CmWpDToFtdl0AE",md: "RE.oroCWgw5AZG5pqnpqgdXmlHtUVRPcUEcMPqxC9cg-1744225462-1.2.1.1-qNr7xjeMd8uba7.YZpu5JEurpPHtLwhONE5cSz_BIidz0jGaTOaaLQ0wKKMFugTVP4XQZCFMDsbfpxbNjqxIkXHWWQtKdt0JUB2k_0OWvKwwS2FDloZM26YXPEaGm9HHhF3ZKc.hyL4KMI0qkyuGHDL7Fmkerxp5Gddvx0rNu0pHnYz90EGRDIITl9R6osjJ20vAMofd5TLwGWiR97dvoVAJZsybXhHMf31mJhNexFox.VVEg8S_wPjmtjRNCPl84Vo2mCE7eHAVx_yM6l37nRy9b_IDmmsnLVDcoaOjNDydUAKIiJPHaKwpB4lj6GCWT6KL.UWAoOXcTS8Zvw_iJVCeKpraEmBQr_NTdQfFrpalzhvKfHL3F55q9f5QmwoqHrrLD0EZeXQHAXaX7LUuJN3GYSy5v35Q_Sqk_n8XXE8.gCJw9Gty6U1V4LzJL1ww9gC6IVij2PfSBCzGjdeU3L79QI0b3AlcrDHvqQXJ46AvgSqfYQzXlIgrbvxDnoC8i80s.qwp1YJrdox8Cv5ncgIMGBfvy1BtY_4W5.hUB8vwFWJsuXiaZ4v.oz.APHCU9G9eKRATtW2EuoRX4nUpWJuMnRpguVjS6HcpP5dzsNdtmh4CinNbNn2AWDTaTIZH8qTXj5Ok5Czc6iAiYKOROZMAj0MP3BWIQgcB5qGV9nIvfaaJ.JOAcyQUTzVKt5uem7VbQGLsythhCa0wgAnO4.JVBtUTWIM9WX2vRXDoEIqr.W3PIyqE6uOh3EeGqYbp2TilDOsMzWcXSdvp5BSpg2Dk.dDNJtyTTncB7FprsLfp6tT.ttWu97Rw_EXW6sGRrsin8BhbN.zBNnnpfaDoK4ZHZWkASP9fvnOXYt5pTuuV1_MQ8JJ0e1wFRH1v0tqm3G9ZdRwjjod4F01sv31J6HkV4BDlvF46_2a5oQ7tOBuqGYoY1jgDQcMeFAtoc0XyxQ87N4r3xqS5owmFB3dLk.wyQoTXE2ZkVKzE_JRAcmj1S1gunB4xCvnmltXX_2HvRpJt5hH.6HvMmpNhBSXnEvMD24z6Qi6wxV1bOmVyf3sly87t3C24Qyx4P4c.xKI2xD0Urq92Jx.q9zlpMgSnW7N4V8wuYEI7_mHe4WV1c6zS.bbZguCxD2GDR5xj2Qa_YXxjebPbPHr99ltGtaOO5.tuxXjKT2.KMi3QwVZjnh8OcQvQTUQmGL5OjxxnUJxs",mdrd: "bLA0z6cRNCpbO081j78jOR5U0zGAEN6K7VibTwBQAR0-1744225462-1.2.1.1-x41QMVGUQzaAC4TGzId0AIK1kcMCpQGXK9hUNGgqwtCkw60OJceih5GDWbUTPrCjBjQr7WSMMgyA5Ii8tfdQIQrSJ.uCmOi3HSfVokI75GpovGTHonzxzskPYT05VNVYawEBKMbYDp5nrZYXedA6_kpgl82bsiJW4FzappCGzB021uC2F.gfhoiK.3L2RJmkvbHcarCHUQxbRW50m1ZGYXuqSxm4CY5N_3d2HjBfizbconV46iVHZ8BfJ7gyfkQlkPIwYmo0AT.PmZWn115l2jzZOZRYxrEKRoS9OpHgq3qp6XwbPHCujWMP6CKAysgHlHh.ud5YW1u3f7Sv4iC9IP.xIBdG9CZn49ys509.Xly.tiHHa5Wec7.VkmacUyAcha0TQZkZLJl54z6QA5QZqjzHiyszcFo6XWXCX6e.t9aADHbDYH.vTAVFWq.kRbYR6ocJZHU0Se_GmJAkYfJfkBwukyt4RVNOH.AyoEDg4YvUccHD.Yfg_.41w7neV4NVHeQmAUFepsdoDAY13_8rr8lN3xzn0NlrItcm8iWjQwEt2XvjNceaN3ehnVGxZ4gf_ri5guwb0pJqp8pl8vbkcloZrnfxSpuuS3jKVsE6LwLpvBBDaQ3lVUn61Z_X6LnRvMlAhC5jSqxCylF0pRmZOaWscykNnF9hDz7PBdvt_PmVTV.4vpih.kmFC4EU4qGXlfmNT80aJsUuFg9y3us9VHxnVpbXRcjPOFLECaKIxNCo1gznyX_qbDJX.2rZnswPiT_2nRSBNkcj8ep3IIu4vDtq9RG_pkO4p6A4W4m91gVGWSYYtxy3tx6xFIMlHyv.k.pYyA8egPpt0a_DkG3xZuFAfL3tqMOGld6_uyj_3fO.q0Ct.VsC_SGuNnW9ZzEcl1pFYI6JpGjuR4vNUV71uJJ2N0o3XRGSu_smwBO6RscDpge3w.Kzx1jUqEKYMVT2kaH3BC2w5SzbyZGcDZj_DgO6tB8wZtGzi.yQmlM_yEaZR0V.scZlHbMiYAQCwb6QYhtGf1VN3ziWG_uBMIUYvDJgYOJZowHCRl9n5Ghm0f3k3htetSbzismf6JtLzmGAClDuqgAtZw.zsSihLBDJfxt_msNWZFe6gN2txe4vHuc1GXMmr1qOq9I2EXZJyi5NslsrUhwjRmJBU5PqXNUKlFAie3QoTKrf0sTNzIESfBmaVNBGpE80nT7QM_MUvQ3G1S9W9XID1pr4cinSZU_29xrgbr0Aqd2q9u1NE54Wb5x7WqatTrI62jISHGaAJ91isSWE6G5CcKY08kCgCUzHcOPpvVFR8SKE_RGKKeRziLkNW6ivONioTkcJA1z6HR8xNjkK3XIPhFWdZFoGhpbElra2Xi6aDS1uocGGu3RRtv.T_VzRqtprIquMfvOqrL_Mt2uQfWK.Fo2W1Xz51yHhZ09sS2IrnEv2mklrIv1G4PEMSfEaCDnusu8Ud1WBhaLe8rFx1HWt6LK7hvKbn_PCF8xmGCrdE8OSzX8T768PavkhMqvLJyUIC2SoznEGIADhq10u6_O5e7xdPwLWEF8bwwgc7V7WghcM7pBPHdNBtprYDdlbajsGoK_tQi5T3sfzbYrNDObFFgdSVdQi6nVbXu04X2lGxr4elEVCtUIRekeU4SqeWMngn2ZF_y0NOq70Xnw_ek_8HbqLR1.oT29dJw1kfqo6dNKMFi7.XsOoSj6AioG9vs2VWvpBH4_WfAhfVjrZXa.rPFDHbfElYN7IRJaVDrgAKmy6bJ6AsH6W2OzpKVZrgdLo2iji_ckUzNT0eP6jTQXfv1tM3xBFr.qTxwuVUNoQsI.ZsEiKluS3Gan2sE4oFA1foirKGRWTcHw9nvbrXdaMTElSSsX80nEarObyKghgu7NMNKLTj6hPtfE.rbgffKijFOseGQ4Ya.xoKFyd26gPyHiDaw4qVD9IRv_UYkihDRsTNWtoUVaZ.GbxBP18NoD.N32a.POXf4v7YBfPzRAvnLSLllPaeiSOdxD53bkPA.7pSfhyAuA6a0Ht.DYzd0xcHq5XgaTi4Umx"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=92dc45120ec1f93f';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, "\/0457.93002?__cf_chl_rt_tk=XU3cRiOI7HL7HgPwDo101JBEWoQM5766ulpN8AEfdTM-1744225462-1.0.1.1-GrQ3dJLqhsd_CcwmGrPXflrMsCvy6CmWpDToFtdl0AE" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>