. @bullet-533 and A. Lemma, 65: the last condition is S(I ? R ? R) = 0 or equivalently (I ? RR ? )S T = 0