A new easy theorem in my draft

A new easy theorem in my draft.

Theorem , , , for every composable morphisms , of a category with restricted identities.

Proof and it implies . The rest follows easily.

Corollary , whenever / are defined.