for Q, R, S being Relation st rng R = rng Q holds
rng (R * S) = rng (Q * S)