formula_53 son DIPS (ver la proposición 19.2).