Liouville's formula — expresses the determinant of a solution of a 1st-order system of homogeneous linear differential equations