for f being rectangular special_circular_sequence holds SpStSeq (L~ f) = f