v]: >=(ta oJJgz; td ahj ]lui ,gi)=> ]lui oJJgz;