theorem :: JORDAN5D:48

for h being non constant standard special_circular_sequence holds n_s_w h <> n_s_e h