Pushforward of a Probability Measure Is a Probability Measure