"les inéquations ont la propriété que l´on peut les multiplier membre à membre sans changer le sens des inégalités QUAND LES NOMBRES SONT positifs. "
C´est justement ce que tu veux démontrer, tu fais la même erreur que danganh.
Démontrer que si a < b et c < d alors ac < bd"
Pour a,b,c,d de IN4,
a<b <=> ca<cb pour c>0
c<d <=> cb<db pour b>0
Donc, ca<cb<db <=> ca<db.