>>173

細かいね。タイプミスくらいわかるでしょうに。

リンク先は ds'^2≠0

の証明。