preuve sur les ADT

Bonjour,

qui peut m-aider en utilisant les axiomes transitivite et symetrie a demontrer sur les ADT que:


s($x) divide ($) = s(zero)