松島与三 多様体入門 p.46 の補題1の証明で
「〜の行列式は0でないとしても一般性を失わない.」(下から5行目)
とあるのですが、A={ {0, 5}, {5, 0} } のような対称行列式が出てきただけで
この証明方針は破綻するように思うのですが、一般性を失わないような修正方法があれば教えてください。