  In \cite{rees} Rees gave a characterization for the normal joint reduction
number zero of two $\m$-primary ideals in an analytically unramified
Cohen-Macaulay local ring of dimension two.
  Rees' result is a generalization of Zariski's product theorem for complete
ideals in a regular local ring of dimension two.
  The aim of this paper is to extend Rees' theorem for the ordinary powers of
$\m$-primary ideals $I$ and $J$ in a Cohen-Macaulay local ring of dimension
two.
  Following Rees' approach,
  we define the modified Koszul homology modules $M^1_{r,s}(a^k,b^k)$ for a
joint reduction $(a,b)$ of $I$ and $J$.
  Under the additional assumption that the associated graded rings of $I$ and
$J$ have positive depth, we obtain a characterization of the joint reduction
number zero of $I$ and $J$ in terms of the vanishing of the module
$M^1_{0,0}(a,b)$, as well as in terms of the Hilbert coefficients and the
bigraded Hilbert coefficients. More generally, we introduce the joint reduction
lattice and study the vanishing of $M^1_{r,s}(a,b)$ for any $r, s \geq 0$. This
gives a characterization for a vector $(r,s)$ to be in the joint reduction
lattice of $I$ and $J$. We also give a cohomological interpretation of these
theorems by investigating the local cohomology modules of the bigraded extended
Rees algebra. This gives another characterization for a vector $(r,s)$ to be in
the joint reduction lattice and also extends a recent result of Masuti and
Verma in \cite{masuti-verma} for ordinary powers of ideals.
