Prvo bih da primetim da je iz naših prethodnih postova jasno da se obojica slažemo oko toga da 1 nije prost broj, samo da to obrazlažemo na različite načine.
Drugo, nije sporno da je definicija starija od teoreme. Smisao mojih prethodnih postova je sledeći: Ako bismo koristili definiciju pojma prostog broja po kojoj je 1 prost broj, onda ne bi važila osnovna teorema aritmetike u formulaciji u kojoj se obično navodi zbog toga što bismo na primer broj 6 mogli da rastavimo na više načina. Stoga se ta teorema odnosi na definiciju pojma prostog broja po kojoj 1 nije prost broj.
Treće, neka je
konačan niz od
brojeva,. Tada se njegov proizvod definiše kao
Ovde me nemoj držati za reč. Desna strana je samo oznaka za levu. No, suština ovoga je šta ako je tu
odnosno ako je dati niz prazan (nema nijedan član)? Tada se uzima po dogovoru da je proizvod praznog niza neutral za množenje, odnosno 1.
A sad preciznije. Definicija proizvoda konačnog niza nije ono što gore piše već
gde se podrazumeva da su svi
za vrednosti
koje odgovaraju granicama proizvoda definisani. Prostim jezikom rečeno, proizvod "ničega" je 1. Takav proizvod se još zove praznim proizvodom.
Odgovor na tvoje treće pitanje je: Broj 1 je proizvod praznog niza prostih brojeva. To sam napisao u jednom od prethodnih postova. Dakle, uz ovu konvenciju osnovna teorema aritmetike važi i za