for seq being Real_Sequence st seq is V54() holds
inferior_realsequence seq = seq