prod
provesMPZ