We have seen that for each Pe M, there is a o e 3%'(M) with a)(P) # 0 ... Hence the map () is canonical, up to the natural self-maps of projective space.
確定! 回上一頁