Lemma inmon_Der_imp_Der_d2 : ~ dans S X -> ~ dans S V1 -> ~ dans S V2 -> Regles X V1 R1 -> Regles X V2 R2 -> inter (union X V2) V1 empty -> forall u v : Word, Derive Ru u v -> inmonoid (union X V2) u -> Derive R2 u v.