Thus, these triangles look like squares of length ⌊|Ii| * (1 - c)⌋, located at (xi, ⌊|Ii| * (1 - c)⌋), cut in half by the diagonal from their upper left to their lower right corner. Therefore, we will call these triangles semi-squares. The next lemma states the following equivalence: