Removed Agda with constructor from the proof f₉₁-N.
Removed Agda with constructor from the proof ∷-Stream.