Project Name: cholesky decomposition proof