Implication Details

Assumptions: finitely complete, thin

Conclusions: Malcev

Reason: In a thin category, every subobject of X2=XX^2 = X containing XX is already XX.