Implication Details

Assumptions: infinitary distributive

Conclusions: distributive

Reason: This is trivial.