1: \begin{abstract}% F{O{L{D

2:     Recently, Seungki Kim \cite{kim24} proved an extension of 

3: Rogers' mean value formula \cite{rogers55a} 

4: to the adeles of an arbitrary number field.

5: In this paper we give a new proof Kim's formula,

6: and give a criterion ensuring convergence in this formula.

7: We also discuss one application, namely diophantine approximation 

8: over imaginary quadratic number fields

9: with congruence conditions, where we prove an analogue of a famous counting result of \mbox{W.\ M.\ Schimdt}.

10: \end{abstract}%