Direct product is cancellative up to order statistics-equivalence

From Groupprops

Statement

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