Vector space/Basis complement/Fact