Whatever is the half of anything is less than that of which it is the half;