Traiter les deux implications séparément et calculer en fonction de