theorem Th27: :: SPRECT_3:27

for f being non constant standard special_circular_sequence holds i_w_n f < i_e_n f