theorem Th58: :: SPRECT_2:58

for f being constant standard special_circular_sequence holds W-min (L~ f) <> W-max (L~ f)