theorem Th59: :: SPRECT_2:59

for f being constant standard special_circular_sequence holds LSeg ((NW-corner (L~ f)),(N-min (L~ f))) misses LSeg ((N-max (L~ f)),(NE-corner (L~ f)))