P
Initializing...
For a finite-dimensional K-subspace X of K[X], the trailing degrees of the non-zero elements of X number exactly dim X · Prove2Me