for f being FinSequence st not f is empty holds
f | 1 = <*(f . 1)*>