二重否定除去とDummettの法則は同値