This follows from the "successive translations" property above, and the fact that T ^ ^ ( 0 ) = I ^ ^ , i.e. a translation by a distance of 0 is the same as the identity operator which leaves all states unchanged.