prodinunt

prodinunt Enn
= prodeunt ( prodeo).