Pompeiu mean-value theorem