Cosinus in hoc productum ingredientes manifesto omnes positivi sunt, factor
autem fit
. Hinc colligimus,
esse productum ex
in quantitatem realem positivam, unde necessario esse debebit
19.
Operae pretium erit, omnes summationes hactenus evolutas, hic in unum conspectum colligere. Generaliter scilicet est
et in casu eo, ubi supponitur , quantitati radicali signum positivum tribui debet. Omni itaque iam rigore ea, quae pro valoribus primis ipsius in art. 3 per inductionem animadverteramus, demonstrata sunt, nihilque superest, nisi ut signa pro valoribus quibuscunque ipsius in omnibus casibus determinare doceamus. Sed antequam hoc negotium in omni generalitate aggredi liceat, primo casus eos, ubi est numerus primus vel numeri primi potestas, propius considerare oportebit.
20.
Sit primo numerus primus impar, patetque per ea, quae in art. 10 exposuimus, esse , si statuatur , denotante ut illic indefinite omnia residua quadratica ipsius inter 1 et contenta. Quodsi quoque per indefinite omnia non-residua quadratica inter eosdem limites exprimimus, nullo negotio perspicitur, omnes numeros congruos fieri secundum modulum vel omnibus vel omnibus (nullo ordinis respectu habito), prout vel residuum sit vel non-residuum. Quamobrem in casu priori erit