theorem Th52: :: SPRECT_2:52

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