An n-categorical pasting theorem - Power, Anthony John (1991)