A quick count shows that A has 36 points.
Those more than half a square count as whole ones.
We shall thus avoid doubly counting the same contribution.
At the core of our proof of Theorem 1 is a simple counting argument.
the number of zeros of f counted according to their multiplicities