completeness theorem linear algebra