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: '92d52e934b2f9cd5',cH: '6bCjmJwfyZkE6GtkaXOxxI7x1DaNb16fqMOs0afooqw-1744151140-1.2.1.1-609v10rYTW3UP5Em8HjFvR3tmXqARI.yin5yZ9CZXtN14VuUqr6B2FHn3GDTRcEk',cUPMDTk: "\/1454.47011?__cf_chl_tk=.hLJB3yREkVDKMCdZ3BlJ5xBMSNN2a7PnQ90i.VbRTk-1744151140-1.0.1.1-aEsBj1sz8ETrBlw5irX5u.qTfXeOyCy4wajI9Pof_F8",cFPWv: 'g',cITimeS: '1744151140',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/1454.47011?__cf_chl_f_tk=.hLJB3yREkVDKMCdZ3BlJ5xBMSNN2a7PnQ90i.VbRTk-1744151140-1.0.1.1-aEsBj1sz8ETrBlw5irX5u.qTfXeOyCy4wajI9Pof_F8",md: "KqZa_EBjBQ4ty7y0yOwzvzXsh5sypau6uCzJbkFCuG0-1744151140-1.2.1.1-aQczn5NDgImwT1_UivXwQCBP1ni77ULZ2ug05Nj5NDu2X6dRfINmMEPGH5H1GMDctA9tDa6SN_HjgFC5TFe59gO1OiuF1vrWV8fqMlseAmSkAWan034L64U0k.m2ItE0_XYqO8fVoMgwk5rgKirTGxdGbfLy7LSXnFXzXHGEcv5oY9Kw.U7tegJbqfQGZmsesItRLsnw7Nu1_3e2gWO47YbFeZcF82CzBT1BU9Ulrryh8X.U.P89ybP1MfO9IjRwL1edAzhOeLvfxbqUAlDxQE5QbccH.kpsUCuK9QCohIDbn06KnjvRWcYU5oXcvujkRPrjhrsODwC8Bc1JNwwIAPcAdsvtEITwnQl.ZskhXo4sqQhog7xdXAMRcT24O19rK0ShwrMEymEJv4OFEAiVodC5cuacp_3Pvkb7S6xVrScf36C8l5PwVOUnZn.gw6X5BunsNV2UI4A97OSDQWQ4v44OtAY._lIpTF2xBfyeQWGc6WuWoanFuueAmhHgcs3j4yjiqMHp95ax2RWQd83J5uXMiKyPrDwr16hc3FMsMyNd3_StayVZR8gl7g_G2fS87A2uDKijHr1QNYs5w5XrbXtYm66uZ24krJRv0VJKde.hlc0Vk_a_I20Zrq1kwhZimbpq6RlWk57swxb0iqTXPPDwMz3IAoZzKyCRXQZcXQEXsygkEqpC93ife4o4WWsce7qMR6pV5fVIUXhaiwfWch2bZk9GZEzDeWq76dgFph_0APel_OPQsJ.EKYkWib5lbnj7W.CGe3R43YWGvjXbvLrO3dpyMkcLhY0jm4QWXSYQCSUFRQgw9MzLutxfV18qGdBf0DOjjhBl_SQyAUFBeq_W6yx2jEMFi0jw56trq7oVK0e1s.C5BagB3X.csaWb6E8tQQuzNXc5IBburNWQlP0BFtirhDVpC5B7hXxTuGAdFlhbQBLx5tBharJ.j_YpeC09uGfY1.LDMwuzF.usZ9KXE9.zQyOsA4F7rpqkyO_GyC8qQYuQB7WR_qz2vqXgyWj17ETHQFkIdk6oeWa9Ovo9fSDdR9yBeStTJwGhZlD5z6zWSIT4G8SvimW1tUpsI9DztxSfurmyJ3Rh4t38x2w363UJSNhxSIhbH.aDSPZlvqvR2EJweUwXyMHnGpwE_qlDeZq6nSg23ZL_F6UwDlrQ6g1HO5yjMKLW_WtFJ_0v8pxAWGoQbzi2JKACEbhj",mdrd: "65uG3x2scVQNyyokM0XSzKax9tbTW0tDaTSbdzQpSic-1744151140-1.2.1.1-YbrVaoCE9RZeWqQzgvrKpeTjuUEsKKbjeh2nb0ILsXHCAKNoskkXFUPMj5WEf3vkHMmH60gYz2TRya1GZ2HsUvH8t_JFDdMumFvc.2LtgVzXAJgadUinLz3d8DZnntWf5SLYmC48BVR0TW4kdSMmY3rPqI3rJIpH3V0KekY3LlkYSA8OQ3fzzcu9IVKkjPeD_VZmq6oBa5cFcTQckEKSTBdWFWElsNLaX9k7jYPW82JMZrDpB4aP0eTrHdYi_UO7gynORpCBrXvmTyh5EjYLuqdS.9RTV_b3_DXl4Z8CedrjQ9ahbIV9iHLIa4mTHRNaNt00AOWQLAHHvEFhEY9GqNEIUR6YqF038hmQJF75utEh5k5YdkUwtIY7mtNdo1An2ZQUOAZKP7tBsU2268CONXlRVGL7ip5_NYyBbX6PcL.m4PRImUSFc6Qvl5qZVAyeRwxbbE6ehgtyy4rMWVIhkGqyZYF3nnRf8vwysRVrhRY4wFFvZDI137QOD8xfXBNVdc6nKKkSHalhDdUPvraD4FYO0_bki4jJDzjGFMotx13pSgNv_b8VuRoB0y0Z8Ani1XZUP5c0xPdujUdHJcC96fVMN2jU3N_2OzKWUhVlWSKxOpFXQpQTQShSr0jlzAMB1ORJp2amy3MPvm.c_eJ13grrZMXs.YR7KoBmmDQ0c6Ho.S2EZy70eU.ND1D6nN0VK0kEMp8t3Ks_xgrmFUXpPHz9gCmH5GP89ZmJaLxEJ.2pBaGix1SoDNXaRSCyP7PHMaz4yeSE2dfxEj3avN4p3qUJlNjtX5ss_hfQRw27dfmjUe3bfsB6npnqEZYdnVOpyDgL5wpTaeiz_Rvf27fIHmVdHntV2ZwpfVnhUYC1L_htsGsdLfhnQvvXVVsjZxeWZkIfN7RI7dtMUTc2adV8kfSyqK81n_WZSSbVdWTxiPuHFjrZw_or0v9_myYJ5CX1PLAvA2jgKtq.uSKkn96o8Rhp8TDE5W77uUnUhO.1LSct4db1yLaFqfl9kMv1dV4leRnUlVXfDEIklHKrQ_0T8Xnj3Usshg6ezQPjgx1SaNFCU6Mvp6SFR4gKBRBpXLsF5_fXOs82mGUhHllQwGzOEoRjmwTZgfEKUpFiRoucNzDrFI5TZDZlUAp2TtcB2sPzjDzvfUa9HR3TUbPpCZJVDgPqnJ0df0y.aocWLUh461HcERxAAlauWjHsDXUzLQHbjOgSEzQ3yI9CrsKiCYtQ7vzpvm7YHS64jtsjmDKs390TCnOjh9R4AURR542046B1kxpdq15yjiqLVGs9.5osj8k.h2mzljr7QUlKW6gBcW51s8AEhkOQ3TK_SnPncwrJoDTRL8NUJeW8NNxPSFtGXXVgpS3joSAzuNBwy9Lews8TsibkdYE1TT7brU46TFSxNk8k79g0A6e0lZRxKFQX3xMXXSHEtl8d9tf9RPRDvbB4R84fgv5XhqPhcjuQ19pMaXm.Lx9hF4m_4x8i96L9QfBFGSZbWO_laKIxwqYYTpoj3VIur1fzBTIfV7k6Ln_.IV5Xh960cyuJWnPn6TN0SBuJ4ixFHWRvedGh1nzxK09iKMwobxwa6nJ56vgh2zwkFpvcS1II.cnOtfLcnVIXp8wGHcn2neW_SjNiUinCsO8Z7hrtOLTAoAQmGUcyZzlOEPm4pvAxGfvm_7eVDANX8u7AHzHOHYvEjICEZXRrBIlYlryG0Dg97RplQVqVKqKU16Y5ZbwwPxsAfq9l3gs.FTdp0IGPoTVrpqw8MkSjerFsQmfEHOlcKDiR5Uj9FfvvLioCPYso6uPeuk6YdctKnWX18xZv7p6eK7yODv0tJNKIEKv4ah1pGwATi9cMW48zno70MBbjL4uDp6X2kCNslHy2ytePP_yg01jysJyxhhaXkl0_SURwUeBQdqsmw6DLtpXrVPYPifU7jyxqaK.IOMFEXCupMY2EsKi7yJbEz.rAsSIWEiD842WAiCdy0TgKLrOxlHykBENoichMcF0gSaoItVJ0h_kpfZ_SendCQkziTA5ao1BCMcN_dsRqQ.JC"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=92d52e934b2f9cd5';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, "\/1454.47011?__cf_chl_rt_tk=.hLJB3yREkVDKMCdZ3BlJ5xBMSNN2a7PnQ90i.VbRTk-1744151140-1.0.1.1-aEsBj1sz8ETrBlw5irX5u.qTfXeOyCy4wajI9Pof_F8" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>