Proof. From Theorem I.20 we know that if , then . From Theorem I.21 we know . Thus, if , then . On the other hand, if , then . Hence, there is no such that
Related
Point out an error, ask a question, offer an alternative solution (to use Latex type [latexpage] at the top of your comment): Cancel reply