  We show that any birational map between projective hyperK\"ahler manifolds of
dimension 4 is composed of a sequence of simple flops or elementary Mukai
transformations under the assumption that each irreducible component of the
indeterminacy of the birational map is normal.

Algebraic Geometry