for h being non constant standard special_circular_sequence holds n_n_w h <> n_n_e h