A bicategorical pasting theorem

We provide an elementary proof of a bicategorical pasting theorem that does not rely on Power’s 2-categorical pasting theorem, the bicategorical coherence theorem, or the local characterization of a biequivalence.