multiplication of residue classes