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: '92dc8765ea2bf8e8',cH: 'r.3.sZzONlJjhecUN8stXjrTRH0EuAW8V4UaevnUBYc-1744228178-1.2.1.1-Ggu3PiWboIZhaGPR.j3h_cnWgNdngJAuUfeRJ8uSKSq6YdFgo961.ZIYXALwOxKD',cUPMDTk: "\/?q=rf%3A7544454&__cf_chl_tk=mS0VcEdlz9cF7kx4C_5BqZLaqSKyGYZoJr2PaYQ75RU-1744228178-1.0.1.1-XhI7Bigr_6LNiigALI1Brj7ur2ygEJjKEqm06FxdDVY",cFPWv: 'b',cITimeS: '1744228178',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/?q=rf%3A7544454&__cf_chl_f_tk=mS0VcEdlz9cF7kx4C_5BqZLaqSKyGYZoJr2PaYQ75RU-1744228178-1.0.1.1-XhI7Bigr_6LNiigALI1Brj7ur2ygEJjKEqm06FxdDVY",md: "HyCqBQeS_6U55Uwp.mB7UjpM5EB7dfxjR5YdtMKTjoE-1744228178-1.2.1.1-cMdGU9jGGx7YcBiK6wQ._Q3BusRb27NgzbnxkWvbWu2DGbAZfa1spdFDWytXWbjvrBqQYAX7NQuDmMq_qMYusbL4hrx_lMfLSU9FmhEn4ei1hvT_HK2CQopag4gn2SANiPxd.pkT8ZMX2cDC7yLb601aYJzn1sjeHgYyOSL5btvCsdywOqzpAYcaiNcCac5zasMeIL60St8m7q3KVgqtbRhjEiGTV_RaUKDsgmtohm12tDCJP504aGB0EgsNFJ91f4i5qYudvqSDJVkBzM1X1XVCdSaVi9lHXKQNNxsK9GIgpIc01RKmy3GRZa8kSypgc94afeSBJQQqvOOE7NjajGLSzXR5svZxodbQSfXftYZfKLVrk009CSCicR9PJyjVjIjR2E8RnOyPbbpbA5KL_E2El25YDJgqe3d1_GY.UXhsQ3z9XgN6EJVIqNBgtH2HKvB6jRgWm3Wi02FbpuRPr4vagwBgRakBh_Q5caqeT3xwFeLPisx9XFLROOCqaLurPPm67x..Xnk5Tf6sIZiMg2tVGif9gJLzwRN_tCefLN7qT.Lg2QTx0pAVupmj83rg_mTqCPLKfPlgGhsPaRYjxzRQ56f3j6yUtBx3rbixKnZXse7EAkKLL3hbo660DL2zq1L_RrOut8zoBpyLpW6eguloEdSn.ixJtz1mPpL9tCDXO5ugOvFaejH1dTfFUVzer9CL290oQvFnmOKoJt5MFl12l66ocdNzKE7z_LQAcMf2TVstx0btQt6XZwl_W.bM1oRhRNeRzazIxykv6DpOTZ_lOclrhh42SqDrj3KAfTniObIXrh9wAIQSQWFNoOxvw9Nc5PhiyLp.GDSkwMLzSTxnCpvWjhZGlcEOhC7rtxFn_YtSlXv_q3Rh9klq7xh7gGPLh06n8Wt_gdRSezXv2xYbPX2jgmaDEnWZxyHHiAHK9G7IM3RnR79ZtbEzZjZph2T1P6XQDXmlaqAhtk1Queo346DqN5fXYqN_PJGlgVthjQLcCaJS18NPlWyer2yW3Zmix7YPUWex62rCe4mvwMUsbb0rT1.wKAH7f4zDdYwZFDncoz3VsLM90qd3WvIc2fGaxnX8m16UOnNwj7GrgBzJSxyP8kXYc2w_SxpZ.dUWBVrQlyfQ4LvTgJy2zQeUPSbIDkrJ7GF9GRbTThu26ubJr8NiYrVlr4BOEUuqzNApdEZychQbm.pMI_5U_olH",mdrd: "pFOPc2oV2bTfdCiZ49AiRjjyQvzbhjvMYBhX1XetITY-1744228178-1.2.1.1-qxfIUBY_i9qrnpPK8UxG_.dpGWK6D_yRqSI2.d79a4V41HrZj4MNWLQcfcxYaCju9VbCmUsfUzPvVZr0xRGIYu9lTf0WgOBw7.TwR7iWl8hDaUWnScDAOMzhSpO18vFWcEhXVKzLcJZa63fUbis_vSZW_.qJ.5WLB05Bc2oMgfEsx5KIO.dParKzfFVOjtUxST10_rSZPYG2vuKOW.cUuEw7.OXwFmRJJ_eAROowk7Tg9M5WzdGvWQaGl1U_tdnkyWweVjPD9Jqbadeb3j_UysXn2P3.eB32XS_VmsspKhglKXHc9OqvPe2qp4U.xUibajrboLCjIa1ygVBDPmNkQWVz_rX3C8WI38Lh8KDJrlakK8N1cTi3UUpYhbKUMtJWhHZA6xKzUeX0_gk0GOX72V653HVwFl.1F3DbvvTpvD52Ear0qfu__SPbdimOlDfIJeHwmOqN7Z7FWeS_LvgUmVDia7xLDTjyUaJsNxlMgjwbEw_hruM4jiW0YID0WMMStB8ZgoGXzrqZZEFG4XKkhATFWRklSz7R6jc.NGez8WQyf6YWEPDNBQK5iq7XjFz4NZuj5MaC16oZt3hkyKDUpb1xl43EHoPhvRWQxhgS_NBzarF5_zYlugBUxABm.Fi_h.CEmNp9P43JU5lUOQg5Gs6fwM0Et2p8RmLm4BieFrWTYzLSAwhB0jKuFBWI4ZDuUWALbm7EVNpm_s8JKV3iYwldAoZSgACjBgrRgGe.z3sIAD6k2JO6GBNEEdOlYQ_EtsKXd0.nF9zHpyOghK4OCZKVwS0af46ip.ZTaedErI6EzYCxba4zG.6rHQlOeRXBIm4ED.KRwDj1A_95cZknfN5BsHUhATS7Qowzm5eE9e497mxecdleTt8ELyPFokntdhQqKZgBSk.av1hrPllY24gCa4QhKnMV.TPLdpx4BoDF5exqZ0jB6I0pG08beXalSOraps665jIHU2GWagw_qdvsoEAaobcaLPWZsYWNWxQ1pBgshUoL2BcrGkwAmpmbxzm7na3MLAfbIyKj6GLz0Rb0jZwVcEOJcIEdRFwip1jSCgGWs3ryghbF3woe2tzAt.RKeEzQP4kE9n7Figugx8JtMaK_yuhwvJXfAJClctA_BrFRZoU9VtFbPuaBqRtiEJeBcobGntGfDo2g4vRmjwYehB34ph1scm72Xjk_2pAgDzmbeSsnAVbFe9QlxWRRnmk5Zt1QuWpxcaXKmt8lXq0njChfHCR8L1rYBQ0Z56ee3FMz4Gjve1LSUoNjt0Sy_RmAPbGPaPIJk3GtE6b9H6AxKy.EYRG4BbY8UYgSjlDm_z0i1HrcOtn5TeFRYnXguXtD_YSMd5V5JPqMORGMDRlHjnJKQvHqHSN0mqcBPcN4RjJ6oK0avznLA6zyvrGc9ArEcekBqsP_W9GpYEy8tFl9xddD1lq9f7JMi8yQFdjS8JKwxFtkIjQLvPjtAmuYzGr9gY7YiZaA_gfL.Qvsb7hNUbdJJqUMBYo6nkdWrF.ecImLKG6pmefYXTxKxleWYRvomeFYclBD4FvcJayRVxorYAJ1IhSvXYJzRbbPfsUh873VWKCx_Xs3LGIQCnxAuMjVYeDcrCrE54KvqQUNJmVTv358867tnDCd7RZsWmeg0fLkD1zrnoaPSOqxGWpEL_mXN68rPurTBb.vnDUYcr8Ka6uHt8WRYy88BrPT4XQqmRtzgYps9uSWhEpFdosjOFDHbXA1QhVZp_dgPk7dTtbfb3iN1efieC4YRgZoh.my1aCtL5bse_FCteF.JM3T43fWn0M38Fw4lnlUaYCms6lZxRFhfDbbPtTzlPt6wwYsa.VX50K5edWQo.kzmDNij61QD3Zb_jzIvnXtvSFdBEwihKq9d2THR3r9GyXgxWyiOPaW7XifcpaenZDa4VrrvHsbLN0ysLu3AZAvT8q8.yP7u5X89zOAdoMONM6i6_XjLI8TjCBn6almrPPVR9yt5lUTTh0vLDtcFrrAEIffF6CbJEHfY5OA8M80MQqLBMCdtKRD4dj51dHdP5vXCYTg"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=92dc8765ea2bf8e8';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, "\/?q=rf%3A7544454&__cf_chl_rt_tk=mS0VcEdlz9cF7kx4C_5BqZLaqSKyGYZoJr2PaYQ75RU-1744228178-1.0.1.1-XhI7Bigr_6LNiigALI1Brj7ur2ygEJjKEqm06FxdDVY" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>