Determinant Kernel Composition, Law of