李華伸手翻看了一下稿紙，眉頭不由皺了起來。

設U是ABX=0的基礎解系，其中A是m×n矩陣，B是n×p矩陣，X是p×1矩陣，W是R2的子空間，W={Y=BX|X∈U}，證明W的維數是ramk(B)-rank(AB)運用這個結論證明，對任意矩陣A、B、C，