2つの異なる自然数の差では0は表せない