  We study whether the entanglement of formation is additive over tensor
products and derive a necessary and sufficient condition for optimality of
vector states that enables us to show additivity in two special cases.
