vaultboy: przypuśćmy nie wprost, że należy
| 4x+5 | |
wtedy |
| jest całkowite i x jest całkowite |
| 2x+2 | |
4x+5 | | 2(2x+2)+1 | | 1 | | 1 | |
| = |
| =2+ |
| czyli |
| jest całkowite |
2x+2 | | 2x+2 | | 2x+2 | | 2x+2 | |
czyli 2x+2 dziel 1. Sprzeczność, bo wtedy byłoby 2x+2=1 lub 2x+2=−1
w żadnym z tych przypadków x nie jest całkowite c.k.d.