Let (12) be a state on (1) H(2). Let {k)} be an orthonormal basis for () and {)} an orthonormal basis for H(2). Show that and (12)) k) (k|(12)) k (12)=(())|j).