  We consider derived categories of coherent sheaves on smooth projective
varieties. We prove that any equivalence between them can be represented by an
object on the product. Using this, we give a necessary and sufficient condition
for equivalence of derived categories of two K3 surfaces.
