finished(?) the proof of steenrod vertical=koszul
minor