>>368
n.s.cは{⇔}の別表記なので特に関係ないです…
つまるところはそういう証明です。書き方が変になってしまってすみませんm(_ _;)m