Väliarvolause.