Notice that a direct sum of linear subspaces is not really its own thing ... Algorithmic proofs like the above are common in linear algebra.
確定! 回上一頁