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: '92ecd540fc2e5fa8',cH: 'F8NttyvCsAWQr4uO.lBmR0ILnMSC12NTlktXzM30cPM-1744399139-1.2.1.1-RsXujTPM7a7lbjHuwJnu_44em4f5OxATfXwn1Yv6JxdZRKdatmbK3f0u9SsKffti',cUPMDTk: "\/7891551?__cf_chl_tk=TJmVxPIRz6ywm9lfa5Hg39dP9sx8ByullPJyJId7G68-1744399139-1.0.1.1-sG6NaalL.6Gy7i6aTpmtKBSvhS6_Td7yu.tTq6A4.I8",cFPWv: 'b',cITimeS: '1744399139',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/7891551?__cf_chl_f_tk=TJmVxPIRz6ywm9lfa5Hg39dP9sx8ByullPJyJId7G68-1744399139-1.0.1.1-sG6NaalL.6Gy7i6aTpmtKBSvhS6_Td7yu.tTq6A4.I8",md: "fkqkUdxvVgAA2SwlYqQbdSwiicF9z4q5lrAAvkgbkS4-1744399139-1.2.1.1-k0f.suWVSddyne_e_oTzubXVNG_uump1ZlaJcMpuSVx5UbfnB08DyRqE7Z_Zatlw.Ui8Hz_lNRpgVz.XGpZb.pLGojk3uO8Y6giwQxGrWHFhrgoAlScCvt0Di2.10_OGiKIWabMFfVluM6cNGgRzzLzWFZWKVNWeJpqKLwj0nLpRCQy_w5zCVuruoDey.VXHuF926D1WrjZYcCeeiLMZoxNz7wdPbZ2BLW2ZUXc5T4X298j7vX0bK5NMaNfRWbmsweoM7UPCr.kl8yTz.PKjFtVQIM6iPKVSdAMkTsWNqDtSpRUjwkS2VhVr_01mLH5TLTqWjg6EfbCG5WV6ftVWThffYNj5oLiOcfQG47XRmk67.Vdzf_3roaCiPHcsJ7qaPxdKmG0wVaJUl1_QodnUvN0c3ORb09zVu6BN1GVLN4ZWL_qr1HLzp1KdpCPhdTHYVZFUFJlgbaQovI4ODxC0701bXjybXfzzikLHiNai7gK1OvYUiqOFFPUyXwPjS9n.KdA9jg2EAfKteVsQ3mD2SCFI8_txNVNgVq1_4a9MkaFjz27GV_OCHJlKrcA7cCv72_e.rkefzaAQrmbr.nCZdsZwiYW5gbNOQAIt5HlZdSk0VdrmLqZ4ayCvLN41MfNJMtmlk5zMs1k_jgktoj.hjbqdTUBx70C16viGhCR30WeR6jl4ks29.OUfgWIrTx.XYymgtPHKMtsVjggMZuD6xZnADwhtmfaxganqeX5GVQNfJDEU4FETp4kM_qbqbzLTK7J7G1VP6G5aT9ZpRQOzTUBn3xrCwSG3Hm6GKGa536SPRxLqA1MG3zFa5t2jjJ795HA12yUNvzTOcDAUbf_GtfURNKJixoDvsp0nkeDNqJDbW7I7.AwwzTatpNid.W93DDxieI7_vOvV7Fn89rNt6UY0PAwUfyIJKbxWT8YlD4I82iV52wqNPP5gSn98ddmz785.kW56Is_RNZOGU_MfNze1e7_HBut7fYsfKq7eGn5eQbgMsyFCmUbJ1V7.EmvZiUdVKANnNLbK5WZPLE9X1_ThVe0bkcDDM8ekvbEyCne.Cu8X2Bw00Cqnzr49KI.h.TrZRW8QLY.oo1JWTiCkNLXRZACyFmM.zbsdEawLSPEaBdKNB4xAkCmuzvkSy_wedr_guwBOnyyq41zxmsAgjyHovfhFdCPgyAV2qy.YqdY",mdrd: "tFV8GST1Pn_7QnxCHqMCEX0SAVw8lJjGW089.fZ_Pos-1744399139-1.2.1.1-3Ba5nIrrBZUeMU9l9kzac7DOoTeV731LFYUf8T448ocGZ8NQD7QEHA4SPwCYC6MG8W0mWJTIb2SpyezOLTJ6oFH14uXQ4QLu9cL7LhBOtpLf5U7TrhQ5rIDGqo0DPVZ1bc9KdAyni.RphSfK4PdQKPNKj3Rw0OkqmT0DdQXKz.gBTXTY8NaTvjOz51nD6hbDp0d53Xj1jw9Nt9mXIR_YZ3cKOE5RMeRkL2KcJTBl4iESUhe2N4EGv050oKYKXNUXTqY_w4IcDWhGcOLkWYwxoBnKQYaqoxwq5jMOS8uD3DNBMd9MdCz1YYsk0aE26GnurNNqae4BXJYZK2.8QgGcG_PwwknCKfo4_vb_D236Nd6bothO9D.RuR.w09VGktxGpvyHgFXf0FZ7.Mp4OZvK9MxAWYdek2IR4MVpmPoZWuhe_ydeq8CPkba4NwF.EnGTL8WUEKwKnNe3nX_XJLtfqAaZLCp6kGrx0BqYxpIRQacHOQmgliZ_RkhUAERXizKzkYos.bpF16_6yzxwgjwtPWDOh0wlrqBjaX0vrDxXgL7vSk7n5zz0qK2MxxBO2bylRt_q1iYSisq.xJoGK9T4YD.nwnw3_z2b2bwlWFYnHI2YbWG0FzkcPSONg025jGKtvH.venSHBqmAfksVX8rXtDQ.V_f0iLjT6iwV8r9p_W7HJhbPrCx3i82sWvAwu3SqdC4Lip.tmUjO9.fjcEtNntjLfTA4VVDHllT_cKYhuAkOJ32iCcfCBw0J3PRxEXvK_ZI8Rhoo7u_RSMsUn3fgpHKd0zcjFsLPJYtWkPe9mVG7vwLFi_jN2dUlcHoZQkQZlEFr6XQu1S5QoHMX6TU0vNx4EwzYA2vbeHlqFRubhZ6yqtXM_RuP_suwndCveIfBnh3.F0CJ9yIV_pFtkaNAKMgGdTh0LA9Rw1nT50hbTUf_Tcn2AP7cN2zN_g7Yd99Y.ydh6RzyVHzUw6Vh6UgE_VbI8timWWwXHKsAfeBVVlE_T3NWBM2GaA2Qnr8zUoZIsspDdPJwPgs358tHXqIB5yRITO34pAGID0OtTsV1moNo7ABmUR9HxJxNmf4oKUR8dJOcqR9T9G8AhYRG1YwxbFPoefyr2ZxgHwIxuXqemopANyo724twZ7ppwfDbKZpf9yIf3GwAbjrsk.edTGnCA_arwg.l2xkqoGSCizdiJycVM5WSRy7impYZfyE_PWL.CIhm77w_VGvCUYMIHvxq6qo39rz4FfCRUdBDN44lReMsyDLAejbGtaUnuyrXH8MO0bs5Xtat94lpiR7J66cqNU_wUVqaKKVi0vglO6kP2zwEpcj4RTkeJ8OfStoKvhHwzidnSgSR3let.MQKnuvHG1Kx_mMYdJRRnwypPADDeMuF_YFSoPteLwA_Tu4mzsRyS9Fg42r2Eg9AnLdENbD86Lrb6hYnZUj3bzFZOa6oVhZ06.pfTyreH.V.THscr_AvE3k5ySK9Tz6fbQbaK_I7RJWqtjoSq9q4J4X6LzheYV00IihUPLS8kGHV_uBzj9xIEeC45KJ6lH2R.WZGDVAFqyTs4f1XKpfR3MDaOwagx6KQyuyhMx3uz_FN9Tl1ophgDNw9a6Qjsd4blQ_QeyoV2zHb5HQ3Orj0XKPHhFR_jYzkYiY8No9acdBtavFInDo1NT9_ihtqI03iGJ0p4hEU9qYF.KNgOfZUEAuvszkKFRFscm9HYPCNq0G_yQndyKFtn74VTYOO3v_pvFGqCVc1gl_9qFIH7B4QEZaZL5sEqvSPoG_2XGC5JOleRQsX9vjK6klM4Q0f9NB3DLHzs69k_rVWn8MZOSUH5GTEw6gMEBzfmn7wkuuqp2IZaiJojJ791s4DSbvEvynC1NnE3V16Dx.9nXzX6L9rzhZjtnDbfc5fFbLsZ6hI1xZeDcuLhFaVkduNushuKN5qavsvgvFazkm5vb0BqoOqvGoNnNWFVFgR_8CJiKgf8lqYaY5J.T1cohmFZfhT3FIkeoDERryCYieP.XOjyUBShZw4VNq23FGUgp2BV7Rg2BEEih39FJDL"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=92ecd540fc2e5fa8';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, "\/7891551?__cf_chl_rt_tk=TJmVxPIRz6ywm9lfa5Hg39dP9sx8ByullPJyJId7G68-1744399139-1.0.1.1-sG6NaalL.6Gy7i6aTpmtKBSvhS6_Td7yu.tTq6A4.I8" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>