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: '92d7488dfa8bcdfd',cH: '1Z4uO3Z1XCAYGYBrCv_0WA5QWQ8n.lZnv_2.893FvYc-1744173175-1.2.1.1-aYOvKzyX_lcbZ6iQZ3jJ60mSBnsPoogiecHK2t5iCEp2KdmMWSMy7uVSCX1kH869',cUPMDTk: "\/0616.62119?__cf_chl_tk=YkwdkNt2cor4qaiM8HtBtf.028JYVD5izWsThF3BBUU-1744173175-1.0.1.1-yzjVSSVFce1fhLzFwADB75l1fN1ZO8qouq4S58Y0oxg",cFPWv: 'g',cITimeS: '1744173175',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/0616.62119?__cf_chl_f_tk=YkwdkNt2cor4qaiM8HtBtf.028JYVD5izWsThF3BBUU-1744173175-1.0.1.1-yzjVSSVFce1fhLzFwADB75l1fN1ZO8qouq4S58Y0oxg",md: "Qs6x2lbtUNvvdgUapKd2aUc2CshTA.30S7uLOnXvgbw-1744173175-1.2.1.1-vbw9zLEKtfuk0VtKqvDqtJL1_XvA464_469YitWgKb1ZNHRDJU.uoOZuR7MaXauSRhppQu2u4Aiv3761jc4S7Lf_A_W82stmrHxjota5d9LCFi.q7VwjqHm9skHXNuOu8A1GCTuDQZvF62uS32iwlPtFgD1MekUPbIj3k4BPt8MHMnIh_LfNHnbOipYn.QUQMuByi7dtwkJPC5AZq92R8CoGc7XLiYJUPuqYWR5i3eEPUzqZbJNOr8V.K9Yq0hN_7p0lJQU.FwdeMJqZ1vhQ0yqyiO_6kHuBf.U38OkGFvUfKLJo_oVKiy2Ei_EnIuge_SpEN8VGbPT6KZOiA4LXKKyQXSR2M8RYV5KaSP3AoLc1R6l3SfSv3BAMYYUlyKjGTiMGoVtJhtgasGkKbwattJebMBerL6KuTxNB_.Bo0zQyqEEgV6M9hBZgyny1Aze7j3qqwB9B1ynVcdTGihFWrKv0bhFKrift4F4xXpc8uqOlz5b0ES7lhlOP3rrIm2lmgjPfY5SZguCZYf86OIbPuVWBG9k3FG4t7kqfFw0Fb79.RZdjxErgw8tw4dxuoF0bMnGJMxAdyptXpoAg520JcKKjrBDtjKuhyR.gOpckKARbwAI0MT4YTWtOkmXSJTDO4uXwn2w4j2TgC2LA4DKgHBbfCXAEBjjnXSm7B011baCltzo21Scsq.9dOxrddAaAPvJQek2mIi9El2QjDDd8JEUEWQQlNBi7oglySSbI7laXt1VqlBrhDr9F7Zbfz1J2kRqlJiphK6n.9EiY._SdK4PVBjut0qvXksH9iYgSOB7qpeyIqRpy1ZbEQ7s.05xU2juT_il4Rka55ni83zJmS9.Y4MZtma6hnb9RhQ9Qw.uAV.AQ3N3Hu947elL8qkSQVH918yFqk3Z5MhTzYVr1lFhvNQp_CNcOFa_oim8BHodNE86qdtUdkknWM7JtYyBmse4vJljaUiI0cv1qidbQ1PCvw7MfPZUV8sl.YrwfImYAMLsyoBAcOtOlOhNU0rOeNqx7Rl5pPrVWZenC2Sy0A.dbqwPI3CXiIpmLX8VPo2Qde8XL.hHGLBvkUQvqCf337rRvCyd6FFX444ojKfsSxarXlW41OMU9UM4gBn.SQnnY70TjYL9vljN9W8R7lf_ECaTd_HcVnG2k8AOiZyC9tG.lzzbrHrmGgnUnt6nH2lHMIWXd._BKyb5gQDAH76EX",mdrd: "yf1X9q8_15k_f4oAL_ISvupDDeudX.mdGzBTypV7PA8-1744173175-1.2.1.1-IzqcfvA6zJvJb4stDcOV9151MjcHtcBPyxjm_VduqbfJW6Q79HEPWR6sRjOgEXy6MS_lGDdEjiEpL2U6itHFR_n2x5o1AqHQ7yh9ehJJIO41a.2Cxn7TQGkZIQjAcIfEAKbH1.8VNDIjRi5ySEz5qrdwSnH2bcLrk4wtPcU.Ovcvj5v4Aa6V88XVvtcDRBBuOp_79J3ADRx7fwG72tSFvP3LWGAXGBqQoKVUnWFOVLopmoe6Hv4pZrvUSF9qcJMVY_TxhmV.TdYsbXwzdbH4JPFxpzu79pq8e72u62lo7SuWcudBZn3mz9gJoK5_XGu5o3en5Y3XEUoj3xJ9w2aOcjKmyP.uG_fjJZ1qE3g6Xhv_Azb5T0GuzmejZp1JiWX.OYEsTa_sh7HnLonF6ASR8KY06O.nR4BdGHQpfZwxQEXcdbUhLkzOS6DxjlkY8PnNVsVWADMHm6B3MxPsEso51Rg5AEcqGE1uLGRa3IyaKv21gBhrnn9Ezi45KryFsO.gOOH8hPdQCmHfL5YfuNnoIc76LmfPAzDG6v56gtObrFRKJHnp4_R5m4IDjYLdKEEnZyAN.qTF0UI0RW1yuzqrNdrJgtnOzvcOMPBbmGxT4Hip8ioVCXLdXQyi0nLGp05ltUvfg38Hxc58DZx7vzJdwp9BgESKKntaNn2fKYzt6PT9flOcDi5NEfVJkxbStErfM4gPB6tHWIoHY4n7BjXfyDUiTx2B9htHxAb2Wn6aFxuF.7LTRkgNM03V06VF_uaI4rXXGSPuwjxzCWfQ16ZAinTFdkBu.tGdtaHPaTk8gS6qWZJukizefVObkz31Bet2Skb4s.Sm45Lfl3oFsKG9lkduscM0XFTdxI4XGlW7HBOw8zFfp71ZrapCEVRe7Qzj5mqUruBUYJ056h.ttYGmMN1HaeiLRgRLluXnQPtoh1HUaUGRlDJCiJs4D4gVIMShfKUy7lr2Ubb4p4OpwhX3RY1lIb.Ywp4OwamKCOYhlLm4bL.fcJwvbTSzNKZptauGn5u2cUPTPWmOsjNwMjNGI0B3DCDJPk2dIRdl1D2S3OwaoGtknzf9XTRdmnGEQFn8FZNaAW15nxuApNdYX_KS3Tx_7m8NVOLOwMWDfa1b6vgoE6Nakzde3h1TpxErPClTJbE4VNn9q12FKleiXP0vI83tU3SJzy4i0nPV8TvOSS9JFb68Fjb7RjGoV6Uq1N9IhfArkDmzVgwpRymjmg6F_0O07RbeFfqIVJxXvDIyztd8mMYmQ6k.pQwTi4gpH_3oi2QfeytT96liVtG3JGllh65JtQ30rlNFgvu7G.SvzxC0ZnQXsGnCnQdZMzAP0lqtRmo9QMqiFNuMbBtjFfLXDtYGNIEf8d.XSbstGr0QR_w4omB5ubddzUFW62x4yLPd9lMUFaOfjl_GFLfuJLUNb_Jm2Z0bPbfDUMJepaFqnU5qb0yDfK4XoMpLt6buHPOn86ZMIFRZHDHkIW087lTsNJFcMIKgF3TV5cii1xgf9IhH6xBRbbzccmw6JcG6ypaVXOSJoISGesUrnimfBrMFCPivO.F23Hwg0.IDcnXpxuwB5CriJFHI3D1XlfCBHXg9mNGKmKSnGKCJz.S2aRNS4rgamMoy8ebdUYaTVYiFdBk3Gz8D5n5efISeJwx699C2ENr9vOeI6kcfrY9hZFtX1CDBOkwuyp1v.Tb2BB3h2_HrFIvesVRmQhO4v1ZEXchoUyQsGM5wXlSPxW3p_IW5rEEEMCZUgZingApOi84JTZIFZfD.OAGIAhuYhahCB7vztg1Q6y827CQgjRRoC0DF3ZMJl6pt6ugRCS.bpqciRJYmLRHZfwif4IS3zida1Wy2pRhigX9ZXSYlNLfK_d2BoJjPOsU5GEcKdO_ZGbJv8UkktBbu0QHOFQkxwtc1jkRwt07q.uJLIZWzsMP8f_KhnpOnYuaUo5eZwTnLK1TiYp_E747M5RMYcGTpuBzMVeYBpS4I6_tB9duT9QUmtkbMOXNWD1GWKM70a8nKowES43EubXLzV1q.CDgOYfSOJLCI"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=92d7488dfa8bcdfd';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, "\/0616.62119?__cf_chl_rt_tk=YkwdkNt2cor4qaiM8HtBtf.028JYVD5izWsThF3BBUU-1744173175-1.0.1.1-yzjVSSVFce1fhLzFwADB75l1fN1ZO8qouq4S58Y0oxg" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>