Assumptions: normal
Conclusions: zero morphisms
Reason: This is part of our definition of a normal category.