二重肯定は否定になる