1. 0-det_expansion/
  2. 1-laplace_theorem/