  We prove that the Real Johnson-Wilson theories ER(n) are homotopy associative
and commutative ring spectra up to phantom maps. We further show that ER(n)
represents an associatively and commutatively multiplicative cohomology theory
on the category of (possibly non-compact) spaces.
