Implication Details

Assumptions: infinitary distributive

Conclusions: countably distributive

Reason: This is trivial.