Da, to je sasvim korektan dokaz, i nemojte pogrešno da me shvatite, ali kada
već
unapred znam da je red nekog elementa 100, isplati se potruditi se
oko računa i to pokazati. Da je ovaj dokaz počeo ispitivanjem npr. broja 5,
pokazalo bi se (nažalost ne baš brzo) da 5 nije onaj koga tražimo.
Nije teško zamisliti sličnu situaciju, u kojoj bi umesto 101 bio neki drugi značajno
veći prost broj i gde sistem nasumičnih pokušaja (verovatno) ne bi bio isplativ.
Dakle, bilo bi zgodno imati, ako ništa drugo, a ono bar neki uvid u to koje brojeve
ne bi trebalo testirati.
P.S. Srđane, stekao sam utisak da si (i) ti prvo pustio kompjuter da pronađe
najmanjeg "svedoka" a onda konstruisao dokaz, ako grešim izvini...
Attempt all the problems. Those you can do, don't do. Do the ones you cannot.