for h being non constant standard special_circular_sequence holds n_e_n h <> n_e_s h