A theorem for calculation of the appropriate sample size in an estimation. (November 2017)