P
Initializing...
Theorem 8 — an independent set extends to a base by elements of a given base · Prove2Me