For a statistic T with cdf F(t) and p(t) = P(T = t), the mid-distribution function is F_mid(t) = F(t) – 0.5 p(t) (Parzen 1997). Given T = t₀, show that the mid-P-value equals 1 – F(t₀). (It also satisfies E[F_mid(T)] = 0.5 and var[F_mid(T)] = (1/12){1 – E[p²(T)]}.)