for seq being Real_Sequence holds rng (- seq) = -- (rng seq)