关于二元二次型表示整数的解数上界估计的技术咨询

各位好，我最近在研读Heath-Brown的一篇论文时遇到了卡壳的问题：

论文中需要估计满足$Q(x,y)=k$的整数解$(x,y)\in\mathbb Z^2\cap[-B,B]2$的数量，其中$Q$是整系数非退化二次型，$k$为整数。作者直接以“二次型理论中的标准结论”一笔带过，给出该解数的上界为$O_\varepsilon(H(Q)^\varepsilon B^\varepsilon)$——这里的$H(Q)$指的是$Q$所有系数的最大绝对值。

我在网上搜遍了相关资料，愣是没找到任何提到这个不等式的来源或者证明过程。自己也试着从分析方向入手推导，比如尝试估计生成函数的积分...但目前还没摸到门道，想请教各位大佬有没有相关的思路、文献或者技巧可以指点一下？

备注：内容来源于stack exchange，提问作者Simon Pitte