Question
Given a homomorphism `phi : A rightarrow B`, we define an equivalence
relation ~ on A by:
`x ~ y Leftrightarrow phi(x) = phi(y)`
`Rightarrow phi(x) - phi(y) = 0 Rightarrow
phi(x - y) = 0`
`Rightarrow x - y in ker(phi)`.
Then it follows that `y in x + ker(phi)`
?