for f being FinSequence of (TOP-REAL 2) st f is being_S-Seq holds
R_Cut (f,(f /. (len f))) = f