complementary subspace problem