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: '92d60cd1da9cf900',cH: '4siTxRKHkNhnINajfPW2yyvZaVmPswsSPB6n1jhnb30-1744160243-1.2.1.1-bwF2IsEpMRD.Uwz.0nqZCQKO3CR8bkCW_gLCUIZmSR0GzB6B9S1xHY_dtut3l6LW',cUPMDTk: "\/1480.62102?__cf_chl_tk=MVi0_5OVxdtU7fMlpzsiPrCgy6TIUWPQv1Mxc98H_PQ-1744160243-1.0.1.1-WtoQtId9hHhhMTRk11IUCdI1KVOiLJLz0iC72icSjFc",cFPWv: 'g',cITimeS: '1744160243',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/1480.62102?__cf_chl_f_tk=MVi0_5OVxdtU7fMlpzsiPrCgy6TIUWPQv1Mxc98H_PQ-1744160243-1.0.1.1-WtoQtId9hHhhMTRk11IUCdI1KVOiLJLz0iC72icSjFc",md: "RTJH0_AFmrJnX17wsIqg80vZOF7PHiqxOyBsQ6uMQFQ-1744160243-1.2.1.1-DSnr2YxiXwrNK3D41Ucz5MMW6Q2EQqie0gjku3H3GUVPxOiZpkmvpsI1ckhCEGXMJTjbsgAtp3sin4BLJGY8HtR3NlCGtfu7WduEUn7gwsYEH63qx4Y1qFp8.LaptfhxmBnDq8rqW.LyDzLmJgeWnQs.8WI3KND4itxCEi4ylfGXx7IZZfPSIx6HrgQn8kmpBKiYpglfyQTmD35vw57dWuyC3hBxDq53eJ0K1_eD1HbDPJQWG7v8d_5VvH75qI8DWV.D1o1aMVp0qfdu5rR9rKQlv0ZowvyR4jyhUqmnuUBuNGFcd6oEimYQg8nRdpfOnZn74fsoa4f5eUqNl4sUhdIkrNLbDb0epHQBBDmKB4O7dYZbewdanlAeAJZB1JFOwgtnIkjjhtkCcFmU6kAUzpWYImLVfPoLt5dbrCcf9gLZWJFmH_xtn3sOpC1dA.lO973xymujQp1sTPqw5FWlpkd3CrUngIdu2gNmzpcpjMA1w9nkvS8l_APvWfwp7PO0i.bv1JL_NSQ7TCH5yeoEqQNk8nXb2dvL2uA4R_iapSZt_dp7CQSkLuo5uPBOcNkwHUqwkbuRJKBCXf_uZPENDsQydlDm0Y4WzejkD9PCP2NfgsftR8Nwws_lP8Q6E85h74EUazvaB8DHVRCRWkham94hCPrRLPhA6aYm5BseanLfdGUdWwXFogfg0h5IiSEGP6YWKSBv6o_0nUIalyAttm.3ikgXSQ3nVnOdBudTqoItwwU9DxidlZRbQ2jqNcjkfjKO22wZ.5tIs45b1QvLytlMMm0E0p9kClNypGI5ZpocFXrHBkMyPngZWdZ_hwE3ceA1S9Hyr.kgsb7HA4i0rE6Wx0DNg8ct9bPMGC6mlJi4FSOljwjzRmn.BjNJxbnAKlXhicG.ad_GbauZP0bpNY_9IU18k_JHRpDNr1PX5bjyAIrRD_oJX4L4vOKXwjxm1t1WlqowEQz6dcNVEOQDRufqJdv64J2ImuyJd1fx9IojlXMkER35qQV6_S4SGoleZbgea.zK3g1rnGA8v.UGznQG4O8VBQ.yN.5dAPN1nSnUmuEYlI3I4PsZE2.A.7ko4AqOamEIZotQIWktZcNhkdHK.IcIbaD0JEE0oYw1kF6UvjKB5OCseTODrmMzn8K8mYYWWi5xWU7VH9y.tOMt38XfB0BtOSFRek2kEm4W86Rdn1Ys0Yo1GKaVd0H8HwGp",mdrd: "k_aNuExR2e5FwnAHLHhDOXQjaW3drC2e13rBIaJ.XNg-1744160243-1.2.1.1-LhV3UnmSZR_ilcUJc0pB6VpTExnmvBpVKON3wJ3qnUVl8QtVLrXAR9B7uZ0mIkF.0ljWqY4Dw22CKW_BZk3_09TaV9jwUYv0.DFEW9GlqIuQR9gFruM4NHIJLU4ZH6HyWEqFSaPWLza1dVOfmSgZrTp7ZMZWJcX76xxgj3iHimkKnSMV9X.bqK_36GnB6MtDLqosrLpoX0ixa0ORczks4kWpKYmDBWypRTfyd8sSaqSlLjPxiS4OCCP8pTRCbRI.pMJE0.zd4iT0QzUM_F_Xm4PQfMsdN28cM.MldhuakS94lEAEI73XIzeJ6guqu0v0O9Xq9rTE8ClF_N_z3t6SxBG_DdUze4DoamZrRt9Km8oPM__k7Zi22BY40I5VpwXJD7eJpoKUbJ403vy7tGpERLeXyOX_iiZesziBcswiZtyvmxy.I352bjm8dx8vEEFkUJ6wX6rRC51IWy5P.HsdFT36AvfL0s4i4xz_NDHIamqVtkR504EdzeF06zGwUwxHGLJikm9PLqUxzvHJCnTIF7lJ2FT9PcUmWCxF_IODK4UManoUelqfsqjq.AYDwQOjE.CvF78Ob78C9LEu7b4mTL63G5EiwiYtYiuQEhIsmdI8qsBBE7DPUcnlILvf3qoOPR2RjrwzLKWlmv_zTVmG045SkCNcxY.2C5PQ.y_BSMfv0ndJT9K4cmxdMFWZhUA51ye9baOI4TfKXH3geuBUVWZzWfKJUDox.yVW3xa.k81SdD17XeFylU68yKjnAKfBxWJcjO1ErS.xIgvUFH6FPxs3K2G.tgdwVSkFqi5zLrbVPEvgc8HXs9_yWWSx_PHQabo3dgjmVumj07rERUhj8id1Eg6.UVK3tJkusBMj837tts1q2dRs9Q2fNpidsh3R3ZWk05yxEX9qXtIXh5e_p7ZWgaTobZk2kPnbhrYamAoD44ie.Z.lLfnI3e8CgvcIfdJTCPcK.ZrJUqrvDVSPtTW6CxvVq3_OwQtW6jGdtmK6oKt1cgDEQXzUxYkWMhxht713ExZbIrHRKRXH8ZLPjIcsgyPxk3ATjg7T3vQj39QMAO_WLT7HxhaVYODUmpegbYNk5hk85y6nbRosx9vUcaH7973pJKNtJT74GhJVO_83i0kTckJ0S5Yq2Dyjb8pynBxQEXHu2XYMFAyGIeCb0tuG6FEYFoxWU46KeG68W8fEuuG_NtGHas9mQOMKJelPVZMRKB_QisvC76hotUwKCgxgwdKEtDWTsUCOG4QMG5Ht8SluoUrdjEhhRdyC.1iokXj9vzMAqRHN5siMisvqjQalK9sOW1r2oQ9I_rR7zDH5tw3XZd4hxSgrsZNVvKybY614n0uT_b48ijMFpN4MjZhFXOO5CacleTs4hY8cpVyS5yeMzvxmcMQ6p0lqJAH03PNy9gZkkxaiom5n6xsJN1V4IrOpvdgFYR5sxlW3AxWAcanwB8_EJH949.5P9v4NtpTAgJY8_E3AcBo44.pTuSu9m_O4YESt3UVyepf9BgZmtrQqU73RUDDDbZHcUMl.EHWwX7Qr2O22oy2fw0Dn6H40NrmFs_Nv4NwMnC0OWU96VofCnNSPVXfKF_auYCRETACfWUVUyvG9Z_ykCrMMAGe.mxAKB7mAMU1DAtzmZEBBykeOc6BY1xFLfQQjxTvOBgyxN5SdnAdjrgMeMwecM45ooKg0VVi1.midP7syD8Jsl9qrRbbqfle6ZlY8idDmErltQDu_QWfaHLH4XE7_T9hNxuPDK57DbUeKudeEQbThWi8qE.ZRUwgSEHxmgCxnBcQe3wQPKpuxc1UBAD2CMTVdbPk534xCBCY89qLC3tcr4MVrzz0lI0WQ1HFjAIYpl1j1qEQo2CmMRwafNrBzNdAVllNcjIiPrCqCIwGVaFF2QZgTOVwTudpaqypd2QT0L6XGc0kZWIs.qmrtCl4RCIT7Lyy.4K9Rn1x1AjZwd8k8y2DABXNKiHOdOJQZxKOrclH2pGeE7PRop9UodJVKAuK_mINkuDtuocwhvN9X.Cq86oZDF31_IzNWqn8ErSArX.w.2xYGh66CjMKLZCeqqQ"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=92d60cd1da9cf900';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, "\/1480.62102?__cf_chl_rt_tk=MVi0_5OVxdtU7fMlpzsiPrCgy6TIUWPQv1Mxc98H_PQ-1744160243-1.0.1.1-WtoQtId9hHhhMTRk11IUCdI1KVOiLJLz0iC72icSjFc" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>