On Gauss's characterization of the normal distribution

Consider the following problem: if the maximum likelihood estimate of a location parameter of a population is given by the sample mean, is it true that the distribution is of normal type? The answer is positive and the proof was provided by Gauss, albeit without using the likelihood terminology. We revisit this result in a modem context and present a simple and rigorous proof. We also consider extensions to a p-dimensional population and to the case with a parameter additional to that of location.