trying to write the proof for koszul actions on grothendieck sseq