A nonzero divisible remainder can不be smaller than 因数.
若 7a<b27a<b^27a<b2 译文:, then 0<b2−7a<b2<D0<b^2-7a<b^2<D 0<b2−7a<b2<D 译文:, contradicting D∣(7a−b2) D\mid(7a-b^2)D∣(7a−b2). 故 7a>b27a>b^27a>b2 中每个remaining case.