მოცემული e>0 რიცხვისათვის არსებობს K(e)>0 რიცხვი ისეთი, რომ ნებისმიერი წყვილ-წყვილად ურთიერთმარტივი a,b,c,d მთელი რიცხვებისათვის, რომლებიც აკმაყოფილებენ პირობას a+b+c=d, სრულდება უტოლობა:
max(|a|,|b|,|c|,|d|)<=K(e)(rad(abcd))^(1+e).
ემზარ პაპავა