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: '92d300ea9fabef6d',cH: 'sABLsfPPnf5ii4oyCRHL500nYYXcmOery9_ogNELgIk-1744128298-1.2.1.1-28FzpuqTldTtRZl03dOzutQWsOo9AlXVhlyJabI.5kMfjNIgYW8LGn_2NTb9KV7f',cUPMDTk: "\/46.0157.02?__cf_chl_tk=yVrxozhV28l6taWJNZNHzFISBGP1twhVChpkuD1NSoY-1744128298-1.0.1.1-AVBqFbelGB73PdfpfwBDLilJIjBpBoW4td6QZchPwVQ",cFPWv: 'g',cITimeS: '1744128298',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/46.0157.02?__cf_chl_f_tk=yVrxozhV28l6taWJNZNHzFISBGP1twhVChpkuD1NSoY-1744128298-1.0.1.1-AVBqFbelGB73PdfpfwBDLilJIjBpBoW4td6QZchPwVQ",md: "8zdZHkYWBcff_XGiJMv.7fZd34JIkIGV6YJwWyISCyI-1744128298-1.2.1.1-uvl_tMK2ljJnIMaxBCpb6fGkBgmjYNQgUi3Vpvz88qnEAPmOQA1bzkGiD5gd5NhqTrtN0qUAGVDKIZIHfv9Kc0Z8tO6tuWHDSvq5xFtbyOOXLP8ZODSvSSb6d8aISbUQASn6HHvxv5nRdI.lRudnGq4z.Rry0KtBthVL8e_N62LAFlV9X1QUs37W3bS6WcaKaqOcrvTPu8Q42ybiH6X5j9P26Soen7P1DcI3B45OxLtuAoYSV0W65sODNx0aItcrf318C8tVGXj0KkkGfxai6JwbwqXXn.sXrhIfCJZnSFK9NyQnzW..aeAPbtvwVhnOv_2pQpOAEXCeRAyN556Lw6GrMPKFZWCMJfteA2MZi4hmg0LoB8oTyaCXB0TGt6OudG2WjvtGDyPG6XUJ4cr8Y05PWW0xy48MJ9ENdDMfhKXaW3q82ofRGsiR0TRwKLBZKfWoe9VyTT95AdOOd6QKBZ8qW2wcsBQWhhKprGmHhYsOmIbcSDT2DkmmxrDFxisOBd6rDh366LayzUANtS_zUO3GGXoQeZ4GdyszcU8RMeF0UZy7F3V_rgJ8ZKwBouUrda.TpKcLb1I3rvfw0HWj1V0II5DKXBo83TP3XxQPS3Fi345Adbs_r6k.uuiFRqgdqzcpTNi_SH56fUJp5JoCz8fXZ6zlqjY3h9_yCt2KFTNph2RsXoY5qE4orEVwPBS09BcCdi53ikAlsPPioF5HFWjfDwgHclrmGQrLI5Hp3Npmgd20nLMvth4JtqWBMcaAlLGzVtF.bky69gW0VnhML27NiIZ3zcC3LJ2PEFnyBliWwrqN_TIcX9bSpp6hZTFBzbnBCy3Tzqo2OvpufV1Lev3urpxOAUSqUNJkbPsJVPU9kKxNWJpga6_fhBdUkRpqAuIWhy50pnuoAjVPGRW_Jl_b2vG7crWbdyHbphDYCyDywiYV4dAPQLfuIceUHY.NFMF_QsjyovyduHN80sZvzyZS2YAZiuEONvlz2B_.EHtgQHOJ9LPOFqUymoCTP4cU1dV._H7qWI8udzUkGFxxzHFkHxaAp_otNMFqMi_sWWihxdoD_tiuFOr3oj9pC58B1LaECIXKTebnwROHDDvwbNGq73BD2ghNi09lDw4mnFVhQEaV170Emiwa6hAPolx5iauyPUEkLSVPQx4LB.JdH12ljWENsr0JKetZTqAcnzw1.f.IOeQsGY.YQ7odLQKk",mdrd: "_CMb6OAPMJJeWux4YnzczDTzd6lWzd.RBEBY1MZV4r8-1744128298-1.2.1.1-shU6_N91x5tXFbqsSeuSZXyzjNaG4S4vTsDLj2K6MsZ9ViRcmDq32mwJpgLj5Wk_Wlk1rm4Bd8QQs5JKA1Qwv6SVPV0.IJI2JOGmEQHDK1tYHz7WiPDYMFXJ.xb6LhnfwlY.OZEAFd5zhusimFRMVHX4ygLfB_4lvCIJD3rFMPwlKVF6KTWbGcRBL9z38jGFgygnOVeRj.CXA5PXGotq2FFfYIq6hrlBS9.aWdpGG.V1LcpVCt.Ggf8WUH1cVn8A16aP_OwYRd2jP8do_DJOxjxtNVLfElxeaLpqt6tnsQYi7yqHYc4xIexC1DyucTtOJtgyYUKF2dcMd2941vhQTk8F9GcWemaGtF.d8UNGFs5otWyk..xRFhhueJylsVA_74XV.Yfu.4C1_3l_tXq1TSrf46D_RkolOvIbwvwDKN8pgEZles3UJJeD0kwHCAnpYO3Es1oylARA98ajCsCK5CbQ547FBEiIx3RW9WlnnbKvqdEt0Druw7sZaLMFH8w.ThiD6TsdgaAT4KATN4z5hAWB72xItdu_bmvYOlzzrFfuJrl0sziLMCnbNz6PukGeQx6YpNck1ufye6s4mi0COPAQ46ijRQ12c9wgzc3WUVF.N69b9PoQRQq7ZSmHUzF9rUpycT641IgWRCzlKhNB5WT5MKxPlygLxbHb1pKGTcr2dnSs_72YqsB82p.obp5rbDkCsTtCv8ubWPjr6xTJLs.aocDShcMrYUmuUpyaYeHVBJ9eBAsNZvRuu3N_TjZN4jED29f1NJ6lQ3MbpXGpfBo5idAruzB1UnNjuYHkZ7JJY9rrVquLmeeJSrkohZUqy9M_ejs9xZuZj7tZWSglv7Gddn8EN0HhMdrFBDTS.0QGJkeRMtIKUFfX8CxlkUcMIT8h7DRfij91tRadR4JeTMOxDs.dd1KIy07JZsUXMABuUeSSeMCOMalUHTqIsTkaHy5xhl9jgUZ.VngYf6czuTRbP_X9Y0gYAM87QkQLQKdlkbAM.7a9Sh5Siy_iviucVBsWr69WEMHupzForgWqk2FDksHsm_7kYfn4q0qFW0ocOT5pwEkpw2_aklJHejLLpm4AvizRYgPJ_ztFi_dTl1Pibi9U6XNV.Bog7imDXMf0pE4iqi8ylCU1XUJBQdnNESTo9j3MYhjHvPpdt28NjvTGwvp0x2Nv.Hn.wQRTGF.HwAWFMGaGAEGCfBNJl1AAEnqq7wJoadtas1KDzfw2OZiVLKWSl85FCJdS6q96yiV5.3DZzY0necyOM7Kdt1u9PDWxYl4NRBVEN7mGpvvy.mwywHQcCCJILY8mHzGaXIaq8EzxFbyTMVVNHsh9zwJdWlS_KDZJVRVuOq7lGbW3L7DKWIXhL6Jevd1ZrIdFdxz0lZ2TBxzRpdV3e76a0ZvtTipAlHUvbVuthlePyz9D3Fz3wBxPfjv0Lsol0Eqw3L.zYPcksA1H5_0Xnbj_wmEDLJ4YuVKCvIbp88sPUENIRbuZvKptFms0IPLa3YgI1PFbuaC_Y1cdtb94nITbPqhnUThMC1tmLAQ26EiZcFaFnrgfFHIg88P1FhsVPaxlBbdp4lhCHTnUV2Xd8DdpwrDir2JIWlABxjvP1aWiznAFGU_RNVisyJk5FbiOsMvWGhbX7EALk6D9yAKOvf8AecUA5lb0JvXr8WbLcV5XhqGlSnSQZg_wfabMxJ9EnrgCx0ln7rIZJg8Y60pm18vc..4f1LYqDMnOfXD3UH6zCq3NDSXJBrfhJT6mgkwdBqX.ClFaltfTmLuLE1zrmMSjwoevxhwIGOCF8r2jbFGDCFqdSKjXlPSxie1CzCBC3m6.3rfkmUS2SkKcOlGTNZAYq16kmVVUbMFSQK5G9rpIn7FRpK0SLqDwfSkVF75q7ifbacH2oCKM26FHwYLuKY3TSXpdTV1eHDeeuWpgdPrY0nFBmiil8D2Gd9P_nIohlLi_AkECFvDZMyzg8YGr6yWFfpImAj4IdrYqyQDkJEqA5hX22SzyjNCwxnWTrp2yHrTey7Jqs5_rdZJJTNlQSrcMvThZ"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=92d300ea9fabef6d';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, "\/46.0157.02?__cf_chl_rt_tk=yVrxozhV28l6taWJNZNHzFISBGP1twhVChpkuD1NSoY-1744128298-1.0.1.1-AVBqFbelGB73PdfpfwBDLilJIjBpBoW4td6QZchPwVQ" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>