[math-fun] dark matter really exists?