dowód S: Udowodnij, że jeżeli m | a i m | (a−b) to m|b

Janek191: [ m I a ∧ m I ( a − b) ] ⇒ [ a = m*k ∧ a − b = m*l ] ⇒ m*k − b = m*l ⇒ ⇒ b = m*k − m*l = m*( k − l) ⇒ m I b

PW: m|a⇔istnieje całkowita k, taka że a=km m|(a−b)⇔istnieje całkowita p, taka że a−b=pm

S: dzięki panowie

S: Panowie*