Seq-consistency property and interpolation theorems