Cancellation law for $T$-forms

It is proved that the cancellation law holds for nondegenerate $T$-forms on objects of categories (even if the division by 2 of morphisms is impossible).