Non scriviamo eresie.
Avendo a, b, q una terna di numeri non nulli (siamo nell'usuale semianello dei naturali), con a > 1, b != 1 e b != a, se b|a (b divide a) e a / b = q si ha ovviamente bq = a e dunque anche q|a: (b, q) costituiscono una
coppia di divisori, più raramente indicata come "coppia complementare di divisori" in letteratura.
Un banale teorema di teoria elementare del numero, dimostrato ad esempio
qui, asserisce che
per ogni possibile coppia di divisori di un numero composito, il limite superiore per il divisore minore è pari alla radice quadrata del numero dato.
Il caso limite si ha quando il numero naturale composito è un quadrato perfetto e quindi la coppia di divisori è formata da due valori uguali tra loro e pari appunto alla radice quadrata del numero dato.