ストラングは行列式の定義がすごいと思った