Example IAP Injective, Archetype P

In Example TKAP it was shown that the linear transformation in Archetype P has a trivial kernel. So by Theorem KILT, $T$ is injective.

(in context)