invariant_subspace_problem