Direct product is cancellative up to order statistics-equivalence

From Groupprops

Statement

Suppose are finite groups. Suppose and are Order statistics-equivalent finite groups (?), and suppose that the External direct product (?) is order statistics-equivalent to the external direct product . Then, is order statistics-equivalent to .