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