Prove a proposition about limits of composites