Boundedness of entanglement entropy and split property of quantum spin chains

We show that boundedness of entanglement entropy for pure states of bipartite quantum spin systems implies split property of subsystems. As a corollary, in one-dimensional quantum spin chains, we show that the split property with respect to left and right semi-infinite subsystems is valid for the translationally invariant pure ground states with spectral gap.