Il faut et il suffit que
, donc que :