[math-fun] Dark matter exists?