Permutation Symmetry Determines the Discrete Wigner Function.