theorem Th37: :: JORDAN5D:37

for h being non constant standard special_circular_sequence holds W-bound (L~ h) = ((GoB h) * (1,1)) `1