  We give a simple algebraic derivation of a useful determinantal identity for
multilevel systems such as random matrix chains and finite determinantal point
processes, with applications to the calculation of point correlators, gap
probabililties and Janossy densities.
