czy istnieja takie liczby ? zielona: Istnieją liczy całkowite x, y, takie, ze x²= y² + 12345678

ICSP: Nie istnieją bo a² ≡ 0 v 1 mod 4 zatem a² − b² ≡ 3 v 0 v 1 mod 4 ale my mamy x² − y² ≡ 2 mod 4 stąd sprzeczność

zielona: co to jest mod 4?

Mateusz: mod−operator reszty z dzielenia całkowitego np 721 mod 8=5 dlaczego 21:8=2,625 => 0,625 odrzucam 21−8*2=5

Mateusz: nie ma byc 721 tylko samo 21

ICSP: a ≡ b mod k ⇒ a − b = k * t dla pewnego całkowitego t taka jest definicja Mówiąc prościej : Liczy a oraz b mają taką samą resztę z dzielenia przez k