This projection path is not split; specifically, it starts with a composition that produces a category which acts as the primary input category of an application.
the derivation can be transformed (by our rewriting rule R3) in exactly the same way as instance (5) could be transformed into derivation (6).