a) Für die Richtung "==>" betrachte: Sei H:= G(m,b) = G(m',b') =: H'.
Wegen 0∈K folgt b ' ∈ H ' also auch b ' ∈ H.
==> ∃r∈K mit b ' = r·m+b #
Und wegen 1∈K folgt m' +b ' ∈ H ' also auch m' + b ' ∈ H.
==> ∃s∈K mit m' + b ' = s·m+b ##
## - # gibt m' = (s-r)·m und s-r ist das behauptete k1.
Das ist nicht 0, denn sonst wäre m'=0 und somit H'={b'}
Wegen H=H' also auch H={b'}, somit auch m=0 und
damit wäre etwa auch m'=1·m, also gibt es ein k1≠0
mit m'=k1·m.
Aus ## folgt ja m' + b ' = s·m+b
==> k1·m + b ' = s·m+b
==> b ' = s·m - k1·m +b = (s-k1) ·m +b
und s-k1 ist das behauptete k2.
Rückrichtung: Es gibt k1≠0 und k2 in K mit
m'=k1·m und b' =k2·m +b.
Sei x∈H, also gibt es s∈K mit x = s·m + b
==> x = (1/k1)·m' + b'-k2·m
==> x = (1/k1)·m' + b'- 1/k1·m'
==> x = (1/k1 - 1/k1)·m' + b' also x∈H'.
Analog folgt aus x∈H' auch x∈H. Also H=H'.