0N9V Theorem 1.1. The Khovanov–Rozansky link homologies satisfy the sweep-around move, i.e. they associate identity maps to link cobordisms represented by movies of the form (1.1).