Множества, разность которых не содержит квадратов

Будут обсуждаться нижние и верхние оценки на мощность множества A в кольце вычетов $Z_m$ с тем свойством, что $A-A$ не содержит ненулевых квадратов. Будет доказано, что для всех бесквадратных $m$ и таких множеств $A$ справедлива оценка $|A|\leq m^{1/2} (3n)^{1.5n},$ где $n$ — количество простых делителей числа $m.$