20180202

複素数 z に対して, 各成分が複素数で determinant が z の二次正方行列全体からなる集合を M(z) とする.
二個の複素数 z, w をどう選んでも, ∀y((y は複素数である)⇒(∃A(∃B((A∈M(z))∧(B∈M(w))∧(y は A+B の determinant に等しい)))))