Odpověď na názor

Já vím, jak se ověřuje prvočíselnost... Ale autor článku píše, že se ověřuje nikoliv prvočíselnost, ale "zdali číslo opravdu není beze zbytku dělitelné". Narážím na formální nepřesnost takového tvrzení. Jednak dělitelnost je vždy "čeho" a "čím" a není definovaná sama osobě, druhak je potřeba ověřovat "nedělitelnost" pouze jak bylo zmíněno prvočísly menšími nebo rovnými odmocnině z potvrzovaného čísla...

Pokud by to bylo, jak píše autor článku, žádné prvočíslo by neexistovalo, protože každé přirozené číslo je dělitelné přinejmenším jedničkou a samo sebou (bez újmy na obecnosti i jednička, pro kterou jsou tato dvě čísla rovna...). Nic by se pak ověřovat nemuselo, triviálně by se řeklo, že číslo je dělitelné a konec.