Il s'agit de montrer une équivalence, montrons chacune des implications :