for f being FinSequence holds
( f is empty iff Rev f is empty )