Since the general criterion in Bargmann's theorem was not known when Wigner did his classification, he needed to show by hand (§5 of the paper) that the phases can be chosen in the operators to reflect the composition law in the group, up to a sign, which is then accounted for by passing to the double cover of the Poincaré group.