Implication Details

Assumptions: extensive, finite products

Conclusions: distributive

Reason: This is Prop. 4.5 in Introduction to extensive and distributive categories.