Si H es normal, podemos definir una multiplicación en clases como