Oración 1: es posible dotar a un grupo abeliano "M" de estructura de bimódulo "R-izquierdo" y "S-derecho", para anillos distintos "R" y "S", lo que se denota como "R-S-bimódulo"
Oración 2: cualquier "R-módulo derecho" es automáticamente un módulo por la izquierda sobre los enteros, lo que lo convierte en un formula_1"-R-bimódulo"
Conector: de hecho,
Relación: entailment