So if then . Because is not divisible by then there exists such: that, so we received a number, which is smaller than
Kaya kung tapos . Sapagkat ay hindi mahahati sa pamamagitan ng pagkatapos ay may umiiral na tulad: iyon, Kaya natanggap namin ang isang numero, Na kung saan ay mas maliit kaysa sa