二重否定除去の証明を追加した。