theorem Th33: :: SPRECT_5:33

for z being constant standard clockwise_oriented special_circular_sequence st z /. 1 = S-max (L~ z) & W-max (L~ z) <> N-min (L~ z) holds
(W-max (L~ z)) .. z < (N-min (L~ z)) .. z