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: '92d681cadd803dcb',cH: 'bRWopp0jCMyHhe.6RuyhDM9JFxi7itmV78PueiRNH.s-1744165034-1.2.1.1-OMRMQ_8sAY1bdxdYa0GiYHNAuTjceh4785vYemCn8ggF7RynLhKASdw8_ZOwukPx',cUPMDTk: "\/0818.94020?__cf_chl_tk=rdnBIWHt3j6qxZPIYRSr1bPmj5aybAVMJ5eIiHfZhpA-1744165034-1.0.1.1-CMeGz2xs2jY45B4Vu2WGzxxzF1dIzA7sCsgZQfQxqUo",cFPWv: 'g',cITimeS: '1744165034',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/0818.94020?__cf_chl_f_tk=rdnBIWHt3j6qxZPIYRSr1bPmj5aybAVMJ5eIiHfZhpA-1744165034-1.0.1.1-CMeGz2xs2jY45B4Vu2WGzxxzF1dIzA7sCsgZQfQxqUo",md: "ENlcaoRKnautFmQxIHlA6tPfMArkYTDnT8yvoQwk.p0-1744165034-1.2.1.1-zoW59lDgUgGKHpVNz0u5RdgTKk4ypvmfTg648QufPAcAAF6VwkwU8ZDtwDua3k0S9mVaSRhXlt75k7Ub3cactdfsz44bBIZqlwMOHnxc.HrzbeUnvz5wImq8RdrSK290A65efV8Lvg0HtuuaDMOyKCn.J1XX4uLtV5wivbOG8OJSqlSegry0CUFyyhDoOsSMyYriVqJNfyh1HyQmHvijdwF.m.2MkM11Gilzc1UK12.F5DeJ.vKP45Od9xQmjBpnsgbAXc2K5XSlIt5YApGU.ukjBp.ajEJOEfRdhXZ6aui8VBL91pRTAYklfvlTmo3BSSbD1Dm_AUCXFgst67lE1SexD4aduzPBzcTxgF9WKSyBwZS5POTN1_4p3g1kqxuddoerkVOCfCcmZnwf9TSK0vfuGA7P3VRTwoySikRDlYsJVjlF7f74eTi_RYaLL9K0KeVLxqjT.hOAA7.a5pveD_fuYHOKpYUmJnnAD6N3m9Lcf4Fg5gUVaL6YNa1CssByFu4cFtP9J0wbkT.ta4RC1crROrJZYypNL_.zZ5Q08tBUWZmXD8gqTBIs9uWIV5jOt_UfdpMNPgQnyxZQwnsZ8spiMnfd5UP0ad8.LKaIedHA2iI8j.0ikQnLTJZFMEMEfHckfZV0wl4p40be312poYf0LkYFL_nNFQgSQ0EePSlDSoRpOdBWITS5X5vJO0CMcVkqazDkq623eyqS1C_Pa47lpI70i496oLQVTgvM2kpOcOPaDcFcvN0RbjL3.iwn5D61qZthA.5lYmeLcBp0bRJGl2_kyaJmjhwsQrDCG_TFw2kUPnE1Mr2d9KGj7qeENtjJnNMy3n_K.PQCKeorDxs4dNYElBzmi4UG_dl5eWe6P5T1Y53KGZmb5vu6X.kh22FOMTLfmvsLlUPso.ocaf_S0G.WyUqpqqb9bpV95qw3UEM1UAIFiinSVa.0UVJVSbpZq35.G2mQETLDMCcOyPn2LF8UJbI9lDBO1zZNean3yMCi9dvgJPYpz7xvsS3WQSPWRtPdmwUCjQ8j9NVczi9Ibiwsz21mah7NTvsZRCCFr4GDsRm4FWIuSS_kvSrvDa1Dw72ChcL9idUCoYinejyUhX8tc7ceVXfVnOxxM8rnTQ7CGVnIcxgdErjWd050Sqm1cG5EEHC3vIU.mtLP64SefhsDy1X4fvtpkUh9fcotgledVkSBs7rIqNeQW7ir",mdrd: "ys_xXI7bUdjic5NzVYEN0z2o33.EXaiEyGzB4e.69cU-1744165034-1.2.1.1-pHj_KHXkSSM4A9nu7cX4ydsLhN3YXDRHaRDB1QstJrU2NAMuw4fTxcIzUqUbmRencZqMsl01VJxuX1.eyKdkcWhw2oygg4iqGxu.CW9mmOKvC_7YHDKsh1zEGy3yehpL2FPtLrKFTR1cbMq8DlbQSgkhV21OnJg9hPJHeLG4rXHRMFD823E49Jg.uv94act0x26hWpIY9DDIYL8C9UpbUQLAJPnTyuD3JEmsSWCMwD1VPGu5nISm5mb7h6KOK14VfsTwROyDd7OsQVUpD.CJwO0_yRvo.BwkIvuABS1Ypf2s8GHHa59qj.kc3iNB4GfmeHgY2af0J.ACLyVsIksxgzlMIhXYjXAzWkmgKkoSctovELIvLJNEMJwfayJNEXfTJBSXruZaWCLhn_yXAjLwfZ0pNs9pOX4OzeRbqpzBr1ZYvi7HOakpxfirw_M8EITFypNoeRwTbiQEVUPXOE77NSQszvgiEREJG4TDIdg09MqEQJwd.531pUFIMBXUJo40_8S8Dcv3I4ELu1UpZBsYPh.4dYikHabA9L0sD5.6pne5S2CWpGKjIfBiCPxlmWIHmlmYNHo1fp9F2lVtTxOT9ub85OeRz5Y7X9gLstHp366W.YSChcsabMYwSGvTSKDINxa0_DOqG4GaZlmHmgW9nSCgVLOXPSLzcLOM3lL_3jPhErECTWzlvSRuZ7VaPHw3wNTI59ECZ.3SleEoDYcVZpoGFA3ycbd9W_GsNm_V6Ghnd4lYThdP1FXv6Zi.a0Gnqax0p6jegBNXTnRHsMw4nTtiNghqTnlZTTYA2I2nY7Bs3X9Y9UxbQqhU.5Tj8LGtYgJp7c5cz3FqsyI6yDbY0UimC.Yn2EQ7sHXz3a03E11Ty4jQvYH.EVySC.yN03XVQ2Ahqc7QJCrP6AnslR1.n20Ayve0MRaBoR15t56eIArvEKJNmev6W22M4oWrAYN9Ezeixg_e13NwUCcFxYfOZJJt9yDqdYp1G7T.VvJIt7LQhBojQnRmEtn9qcOwXTeH9gYtxf4kdmmOz9n1BTEJoPKxriUxr2t4QAoyeUwPIt3ivnBgsxghFYjYTav8tFybK6fO7YQVGxwBkwqX24uhKH1.EOKDhAgSMauvOKw3Xsww4LJ3xoy.XSrrG_UBqECBl6v5p9h2Suff9qtu5kyywF9Mv0.CiljBm1PrcUSdTjDG8dvIm824NfaCud0DvJNVY_yE021oMwn6ETAvglnMRQl7iAPN.kl_HmknfXMc6ZM.D67nyGqKUo112NqXP.7YgZjdFQuB4emCAv4ZhgQijJxBfyEmGnKTBiWa7j9cdBLZohEWVp0KnMNom2RO3mhskgPJnKwBZegj3jG10xPuZXLEbx30WEQ1PWpfkIrUXBRt_Z4uLdIgaz_E_dL9ZZ2dcdsJbn2lkwrNJG9TZXyOrB01TW6nno5_vNx9kgyZbM5RSMGFffu42cvs6synN0Zq.ZJxLQkRnP9KaEGkGcbUgkj8Wc5dtEV1wRY4Tk7hunIJX6o3dK6Um9q0SlHS4crqq5hH_OYbiESgQ9F8saMO2fmPt5gAp4vAXK_b1fVB2Jkxr.t5EKG7ixvZCxJHh2bc5uGELK0Tr1hbkS8huLTJKQ4dNksXD_komGMoER4oC6yxSNr7X79z53EsWIshCJIGx0HaF9zKSJL1wS1m9b722FAhSQGAcO0HAHYIHQF0Q7QWGCjrz2lzRVkm7kypTOocsGWY8stnr34NdJ8LBL4fLj1stjQX6IFtSJ3JpAp8U26dYsQedOKuc.leQjhaGs9SmPcNn3yhBy2JJyS5ztM40qN3X0jJyHx.wKLrN6G8YTGpxw7CiMklZqHXkaxbxdsNw7Q8NnEH96vm6LZ72KJOjggtpUdU1wL4Ap0APTApr2MZle3AdXJDKG3xqK_OtaT.lAFYoTG9gq9MSQ_TbJ5gsh03SBDxRvKw0AsOOMMjw4aqqNkMj4t5jkxM1GseF8qWUkHjtT35c4jMNCl2KJgsmrTfF31VHDoi0YkgJo.gdATlOp4aXZUHyHng8TbvCY3g"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=92d681cadd803dcb';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, "\/0818.94020?__cf_chl_rt_tk=rdnBIWHt3j6qxZPIYRSr1bPmj5aybAVMJ5eIiHfZhpA-1744165034-1.0.1.1-CMeGz2xs2jY45B4Vu2WGzxxzF1dIzA7sCsgZQfQxqUo" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>