Implication Details

Assumptions: distributive

Conclusions: strict initial object

Reason: See the nLab or Prop. 3.4 in Introduction to extensive and distributive categories.