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: '92d3eb96ad5d9fad',cH: 't9OAi.IBi0cEMXPKX6OYDkO8cpSHs7cEtoQiIr4obDQ-1744137910-1.2.1.1-465NeqWaQvEabx7o4m9N9FcpWaDsVIIGuCHzeTzCrYNcRHoLY5ly_nYoGUVe8iFq',cUPMDTk: "\/1171.65101?__cf_chl_tk=bPb1q6T6SyExr7oWsdovIYBpv.lGKAbgV0DhW.y3.2U-1744137910-1.0.1.1-fSMAaDucjn5UGGk3eGVqxInqnGDc9dOt0uqngNKOkF0",cFPWv: 'g',cITimeS: '1744137910',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/1171.65101?__cf_chl_f_tk=bPb1q6T6SyExr7oWsdovIYBpv.lGKAbgV0DhW.y3.2U-1744137910-1.0.1.1-fSMAaDucjn5UGGk3eGVqxInqnGDc9dOt0uqngNKOkF0",md: "_PaG8Ogf1pS7aV4N4qiDVZstNlmcOB4zRt3xJL51CQ4-1744137910-1.2.1.1-WnjUASa3VJLLMW21uDvp2scGL9250ftnBpiI_aMuOIjh.TMpdrfs2HVMGiKQcenx6Yy6XdPOnCp2c4uSethAoidMIm9MOrpbzy.44ZNmvp8.IVMuf6fzKBbAt_4Bszs4x6ZwUX_VvRejFSnQ6zN2duBUX6fagpgqMZcdHyX7K_AEwFf7pEqtS8Hd04vGzo8zfYlNAVGZ3YrjfodAnd2SmGKUupLl3R668xbgkmPiwZ93egTgFZ.5BV_9ALEcY0A5aojdWvasVpxKJtHoZHekfRzdEQli7JTkL5g1aQQaFK7.Zjy.SkuUwG0iUWk09b9E.eCN6IB7h6q2e4kVSt67Dz0ry15t_zTOtOORFWu0cWDINUe.mbLMJmQRuDAPE5F1mRow4hRPKVbPdyxpAN.GvaJedph5bQfqQIbOfn0ARQ9Us.KFhRZXGFnAw5eGHTLAW900OPPQhVlyB9miUJh8lWAo934qe5aarQe.O28wqjLSCJQ.8N6otN3RrPMLMK_uy2KwiQv0XLjdLssO2JJ9LS1Y79SirsPTH1PZo4qIk8HJdnSSnJhXg.EWMEU0jJ8PGmVsqg1j9Feyr5xC5Ystb.5Gj3d6s9Xlm2hxvMP.NI6rE8pxQtxwX9umLgcvusfNHKdjfP9Lyxhnrnw81rG2H0W_RhbD2EsHn6nhjRT31lmE5QJzWd7S2Qe0P_PlDqXO6pkMxGVnitWi90s3RYXDss.PKFp.KbRin5TS_Fs8mpWEJqO134JeQ_Z07hjG67eQfhwmHkztM0kPq4q13SxTSzkvneDk8DBqJ6_EDDghQByxV_Kt6yFADuxpdJ67gihEA6Qer10kyf_g.f8botE1muiRrVTjUGs6d_Y.OA3sRC_kvVuTHMBEb4UtqT73vgwIJeV1bOuMVoS5tvYMakUgpUepg.N1bFWLg3bjoEpwXHkBfGZV3NAIjjklOyGVTx.G1n6aKBXPLcDzmSby4j2ico5M5NZDF6TqR2St95nTe454u4xM95NwZhCNrfvHBdkEitje40d25Q4zaTAQohyw.FySBDtDuC6ZeqM07OpmjMiy9eEItMz5XAv7o5b5PU7bsW6pENicc8UtSyve09MCBlKf5bs4aNc78lz50ElInmq.p1nmTWMJGeEW4Zhb6lJHflmTlcP9O5gGftKWI5LTfeUfgzvocPHoXwpl7RyFpXvYI_QwshOdQeLE9P4xgnHu",mdrd: "WycyZcjyMx.9sQYqcUyt_MHm_.3wymas4WDuVNn6MMo-1744137910-1.2.1.1-5ndv3IZEvlwi3bHSQiDQM_MQhQZfAotLwdFPeyWRmysyNQ2b8FOF.fNChi6a8wQj8nCizknTxfCxprYxjfzE4Hya6F.tSDuJMPPHAo_MLjPmgh1Rx.QeZFYcIW8aorT7B.Shm5l3.o17ImkMSFF35Sq9Nd7EhRWVwhC_GyVS8pLQ0XGbk0g9xToazDq6IbvloTrOug.GPAc8qnLaQuIXdPUYgjQmfgSMTeJYmLYw28UdE5IZwB1XDeAE1b3IdWncODSgqgMj2j6ziz_Dml5QP4QeeY_cnfNhdUxKHcZP1vIpLUhcfcMJlBOTe6D0sYoOt0ckbaY1S3JsBDIzf7N6hhzdPeyeTcQ7Lu2Xfx5p8v5Zly3lVVe.3SRBvYyjFVvQw2RkafLHPJOv71Kv9UPGMlzDm30nqfQBfSQesGrUQK6UZWRyDZT.t9rBEoxaS6jKkLu6TizxA4KaluOV6SNOAqo.rBQMZbAIbviALmYGQC4amlEy7oXtVSutnOuY2fhw5BjY4pJm5gETHJqzFdrjk3Pc0Yxk7Yl_LB5BqF_vWIjHb_aaJSm8HcRBPMriW13j4TCA.nwdnTQB6DKX7REy09W.UeFJWh5P_5fQLzV99TK.tCC._Gp5w8PjLonZQO8uDwmA7dZSsaUY1HzywJtKTlJsF3P9CV6cP5H5ICuOPUXK6KegMT0VOxspGcF0GCjczaxpOn5xrCeuJbl3CIVVxLpkPB8liX9r95CojEuIdHKJbcm_4BODMpsk2mrCHMJzLEGpfPCNERKi16Ciwl9KyC_qxFZGnZMf9SvcaiRcbu6_xqeHtEENztRruhZP1bF2Dak6LfFkTh_V5_h.jr0GEvXJuki.YuLUOXfjEBF_k_9vFkILv28oEQBn4.ZphZPK6NZfm1niqSx3._6iOeeNUDUE3DDkvzYpdg9Tez2LKl526abT6EWLVawUTcWg9BHP10RvxamKQ3fnBNxD04.Iob8F7Axs9qAiVFvzVkGgXhO0ypsWJuRYVgsF.JD6pGcKYLPvTojD2MHlU4Cn0zkXTjfq1f_B8sMYTnnufa1P.FH0OAICggldMRb88StmPsrGzvvMONTyw4.Ajq0iUAZf8m6u1pM2a2f_3r9sY6ZO2GNTruTMhEgHGyW59rHwOWyvSLrQLK8dqj.ZbpgpMmXL2d0CCfk1VhV7aHmByD6gEz9OSZMzzm8Ef2MgM4zGU9iIVYhppmchJS6hYzCV6mesp0fvv65LULVWjYz8Rcl0ALFQLFO.wuw7REzeehhyFOpsAH4bAlIDOz1gVNnbxfm7rrHEvCABTPKt09i.y7E7oe3T7FT8s8WRFiR2fDQINuxTWmLd9SKhpRH0ZAAwuoKisebtkM_umXCPHc2d2Jq_q140LlCJthfJNC2QAzTjgzrQJDFXYV6IrDlOBr3ePBdBP6kluwVf3k3f8rQcmB2RDk8gNLscfY2qbNjRjFgayg6sSva_cKxYurMyrrsr56akVEay_ttOvDKvUjTCQOdf21o.aArMWj3Bb1de9z6bIOAiiw3knHN9GBecAMq3szuHud8_QtyLfECSkaojqwylgm3ec4_Qe9uaLIKYMoGUIswxVFHU32dDUzE_nmD.UEsbYKLxeXTtnrsc.d12G1W9no9CpuS_IAk6gzeGExW2ftIIUi3dOhvYzYdrZo75eagI3PRUn5ICE7L5H8SFvUm5n_1_ueR6OITvm94nYeeRuEvgqx1XngSlBTGvNf_Wq.jwF1Ono6o7esBW46wgt5vs3ye6d.tTYfLV.H7e_y.A7qYzv75mKaO8s3bpIwAiPkrX6ExsCAyrQNF_kMVEWlatCVXliMn5U1OcnvEjZYtZFDEyeJ0Ovcx5eE.Pw2IcGb6OebcmDgc.zruLX.vElzQT.MFNVa8v34Co7avT_OCoynBD1p_vR5K5zqTcFxUCnXBOGBte6w1UCPEA1yizNTZ6FhBhBI0XdIb.dCll_Bry8dYKDuBfJ5VT1LI_WRsoYpRPjjY_JZuaPeICFUb8SyMpLQ2xJpfmo3s4bVcozTdUT3i5TPKC1Dxh6UjL.lT5tujdZw"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=92d3eb96ad5d9fad';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, "\/1171.65101?__cf_chl_rt_tk=bPb1q6T6SyExr7oWsdovIYBpv.lGKAbgV0DhW.y3.2U-1744137910-1.0.1.1-fSMAaDucjn5UGGk3eGVqxInqnGDc9dOt0uqngNKOkF0" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>