for seq being Real_Sequence holds
( rng seq is real-bounded iff seq is bounded )