Funkcje MsDX: Jak udowodnić że dowolna niestała funkcja linowa jest różnowartościowa

MsDX: Czy ten dowód może tak wyglądać : x₁,x₂∊D [f(x₁) = f(x₂) ⇒ x₁ = x₂] ax₁ + b = ax₂ + b | − b ax₁ = ax₂ | : a x₁ = x₂

PW: Tak, jest to poprawny dowód metodą nie wprost. Trochę brakuje opisu − pierwsze zdanie to teza, dowód zaczyna się od drugiej linijki. Należy napisać, dlaczego dopuszczalne jest podzielenie przez a.