>>343
(�@)はそれでOK
(�A)はXの逆行列,X^(−1)が存在することを仮定しよう。
(�@)ででたX{(p),(q)}=↑0の両辺にX^(−1)を左乗して
{X^(−1)}*X{(p),(q)}={X^(−1)}*↑0
⇔{(p),(q)}=↑0となりこれは仮定に反する。
∴Xは逆行列を持たない。