The local invariant factors of a product of holomorphic matrix functions: The order 4 case