Any derivation of a properly infinite von Neumann algebra on a Hilbert space into the algebra of bounded operators on this space is implemented by a bounded operator.