[math-fun] dark matter evidence; gravitational lensing