证明是比较麻烦的,是线性代数里的内容,如果真地想知道的话,上面的网页有详细地证明.
-------->定理4