More on five commutator identities

It is proved that the five well-known identities universally satisfied by commutators in a group generate all universal commutator identities for commutators of weight 4.