  Starting from arbitrary Hilbert spaces, we reduce the problem to verify
entanglement of any bipartite quantum state to finite dimensional subspaces.
Hence, entanglement is a finite dimensional property. A generalization for
multipartite quantum states is also given.
