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: '92d3d1e85922ce56',cH: 'CnUJK682cwiNh.fEHoVfhYuzEezI2ffSrxJjTgVkSgc-1744136858-1.2.1.1-skFy3z7wGp6RULZqo6AOFCv0EfDgK0X1zphJ8_ibjW2XMhsn98Kv274p463e1vKQ',cUPMDTk: "\/7932409?__cf_chl_tk=LKQgWAx8FWdUoia4b49c0l66lo9AGBbbCWEEiM4RTyA-1744136858-1.0.1.1-Op7Z1JPbdUssFe7PkN9z5enrrJvDwf1HBSk2NLEXp6M",cFPWv: 'g',cITimeS: '1744136858',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/7932409?__cf_chl_f_tk=LKQgWAx8FWdUoia4b49c0l66lo9AGBbbCWEEiM4RTyA-1744136858-1.0.1.1-Op7Z1JPbdUssFe7PkN9z5enrrJvDwf1HBSk2NLEXp6M",md: "frawztWHzum9qbHGU89tqzIzsiNqyl3gpLGOHdC29NM-1744136858-1.2.1.1-7VkTp470JmxioeWvC.TGsXtIgf35yK5nsBInmA.J4wEgMuPRvq29rP7gOyxv2CqINiLTcRvzLxKs2bVkwqUUI.6cvrZQLNUNDpthBvy88k6j40mq4EgKuW6mKQzmzpalC.gfHlIK64s5ViHEKBAvUb5uD.de1.y4nE.z2v0AktseFAAKQxaKbFSuu0fZKEQek2D.fkGiODbZdrq89rUsXxMOa1KwnqUABXPSGv0ya_PJotv_5IDM752_BCLp9rXxRqodGWcr4K0jwPqHlnkcwWQAouijWBLzHODrcAat6mRMscwmATZI_jEAuGgX1ALJFhGsRx4_GplZ3k0WzTZ3aYTN2WhFNn5yiSJ6tqBVzVAGN5_8_F_W3eKr7GyRtgfa1sqQQq6uqxGp.bhju6FTVCA0aN4R5FGmD7gSTGeofvvb520OEGWEYJ5cd_QSjMUnwFWmg7zchCUev4r1LDzYDDE_1rcdMjjgwPFSOZNP9KcHchrJ95u3LQpiBy4G4j73PQ3DSq.13buQ03QR5PPmYV5R5VA4eVcVHInJcwt5HG1f4s8SJfj.B1qzed9aLp1av7DyrOotKZ.J5y.ED2cUMdBwG8w819a4qf30dcAhsAJkQr.F63CAb.FavMq5mUdkBye0JYqwVZ7JjrKEYALil96wuXSAi8hvBPAWp4z3Un7hkStnMKUCKGPp2OC4RWXqBDk595fSuMaeA69mdwxnJfgL1bcM._2loAt_ZvvScR6IV9.oLUx2a3bimj.c9TjzjXAucSJlnbvgC3.ZtOto59gQ08m8vQ10FK.OZUu0quPDAqX_ad0irNh4I5LPk_uj7ZAYKvsWBU_JtsIJvVrkL41rQFBI3kYC6YtaxrXWfLcBpwtXAscgR83rGf.BaOSKxWHB.XtVszPQWxo1.eUv7SyvrKkc1MZIhYhgbinFLPi.pWiPOYskaGydrBbCcwPgDiWjjw8S16osGqhQp.lVldJ7Y0pvt6hiUSLCou49L61z.famfNN0nFNeorZAhwGJofUj8HvSRWqLuROBetBk.KElZ1w5gaxwUZKP6RJe_513F4wWb_TIVniJYWAN18eArjnE9vOEQx1AQIdVVPRwQO.TWjTjq7I75KsFbZT0g5N1cwGsbfCs2x7MhZyzTwx0r0jZsjd6qRiWn5BB5OPPlhec2tfvtoq2ANYIPzk1vzw",mdrd: "FPKVKlsbWcrE2h2p0mv0W_lKCIHygAvM4uH8Pai7w9Y-1744136858-1.2.1.1-LS2Gi_7OFwLf4XtAszixrcGPzzwPlqoqUWgOGEz3240edh40shZ0yxyspLk_c4bDFVOXzi5nXJJSBDaE6c.p5AgsQLyCVrwaajHufxLfOPE_UDd57EBqgMJFqgOebqQuxdtA8exWoHyKgaZkcuu5sSQoGP4Qs2NkfSLK4fkn7TqOJ7VJK_FgeyRSbOkQD_VTchdl7g8vCqt_S0u7B5ssG6r9PlLftas2rf0w8IN0o2STTOfO7sJdb4NnSqkVqU9rCJ018eCCUUup.JlU_pOl7V0TOEARggAcHTd5BsHtrZywvRxT9lZHO2Aa.5U_sT299Z4xnrATQ_IOXm59_fNi6bJb8PAOE_8DoDlpn9moqIkSyocV_e3JBITs4gW73qrIhH7yn9QcVw9xzB1yRNQFoq3MTn5XmlywMky2dM_R5G2LD2L5gp4jNMaqFx27G7yWTGWcoabYI2KEYfa9Pq8xJB1KgURZ1083AsmhecG6kDmxrw1.bjYNlLm7u0F_itY.F4oEYJ4RNDrKx2ZkinN6bHVMUsE.99mV73PM3XAisaB9Q2KHcGpS8Y3cfaB_1siL2PU_iorYMQGdiRHmz8I9FwmJktysFYNTv4stgvZ5laxK8tnObaerzNisyLUXjoNdorZfjY55XgUoGZ7Vf8Btg0EOXAHK6_Zsi.QEiv3jL1rk7RDP9LyCKoQlAyPfFxRUGWxyHuFp67Fji.AgNFSxcsrKRWtSggKSCvpHdaUNyzeOJ3VJxJ0cvPkAd4vD_Q0YKYDQEMmHP4Imc_TwWvHh4KWj8_THdoj6xOFwsB3MM9C3CTgoIrRXxAKV_TgrLl1cR6AJeTNkp77fRNVaHZmxiBWRS4Y0DJ5eNkqIj0igwFLAq1qAVsAXwOG.tEUD.OqvCwuO4XCfFzv4BChn0DIvypm5h8KG29sz2tMVYrkn1Rf8tPlMDUgfcZdGBJKrM14NEWx0XikSiwJ47Z8kpki_v9TtoJ6ZaHA.a0q4aIt7NLo3.vNVGDPhq9Z5EmG5WcwzWKuRj1loLAhItyk26F2taCpx5VWLpQQ9mjj0ZZWHvxDCKZyM.qcCBJPkHUrm3knFkuLa.40i069un0CH8MDouLyUa2pZzFnXo7i_a82knDEq42uz9RfrWKe9rlLC7Rpg5JTam9g4w2QUorTUpCaPrzO1O0S5wkUXCMxJLJJKP8JWaUld577coefEg91j7FWghv8lkvG4o6Zvz4YfYvuN3ZBMOP8EiOt975.JkCPF4Y3UDgXVeWM9D6rXVfnz_ge5jUpr_gKidnjo1SMpRMOB.aTuag1n9nz8oFCDT3fl3voTTJ0ha8I7NmNJ5HlAfXxaUTQfF4rH8kRdwHj5ymb_JLamOQ14yuZIS2NMXK5Co4G4OinbZQpTuTWgDijOy5r7uFbyif64c67FmIlHeKOBrgPQGBNRt.G2zPojsu7JsljpBvwC5L5ZRJ9ps1.2_Xzt1UvmrxLuSy1_3j3Qo7LFWXcG1WJB4RsIt3lcrfQadWcz88xVyQbFCPQKlqYarl6DMYfbzkqrnJjyN3bnyqG_o1w85nb0qcz3asbk5Y9Fp8v2MQIPa3OaSpYbSLicyy0c6seJ4gQhAQZEzH2Qg8GFxpIVMpvQLTFVq4r5vP5gADZ5lCVvx3piIWSN_.SDtN9bR3Xsg4WkEDAEE9CNa273tqe5yjRNr4zEsHLb3D27MeRCChPsjAQ_1Hv_PxMu.trwysxUKMSS2h91LjjbZsh8DXS9gjNi_HbXhS3k39dsALDtyJlhnRgQRUdkxPQpZitiUsl3ZlMdEhNz_PdWMD05GBk0Zd79r43QEgKkO7gnBmqryBSln0yhYIwRMI6KrtSl3g0vfWJqr8nMYD00wvqf7YtLwRi1x2rQx1kuvchkBKVl0t.NlYOZRPaDOADOJeRQOwMrz215X_Kwm3UG6Ac6M8aGb0rl6R5ncb_Xd72mFH9MyWzmcr1wAnMr4_nNTufhhEEoGgpkmmdpdj.jWVkHOX6r1pvz0YGChPlC.u_AgeJlbe2m23The9z_7VQF7sTR"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=92d3d1e85922ce56';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, "\/7932409?__cf_chl_rt_tk=LKQgWAx8FWdUoia4b49c0l66lo9AGBbbCWEEiM4RTyA-1744136858-1.0.1.1-Op7Z1JPbdUssFe7PkN9z5enrrJvDwf1HBSk2NLEXp6M" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>