DIRICHLET, Peter Gustav Lejeune