theorem Th27: :: SPRECT_3:27

for f being V22() standard special_circular_sequence holds i_w_n f < i_e_n f