Equivalences of derived categories and K3 surfaces

We consider derived categories of coherent sheaves on smooth projective variaties. 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.