On a basic mean value theorem with explicit exponents