ei) mh\ h(/lios h)=n, e(/neka tw=n a)/llwn a)/strwn eu)fro/nh a)\n h)=n