Because f is locally area-preserving, this non-overlapping property would make it area-preserving for all of S, so the area of f(S) would be the same as that of S, which is greater than 4.
Так как f сохраняет локальные площади фрагментов, то это свойство непересечения сделало бы отображение f сохраняющим площадь всего S, так что площадь f(S) была бы такой же, как у S - численно больше 4.