Поэтому если бы мы взяли Z[φ'] — мы получили бы то же самое отображение. А значит, оно сохраняет и прямую
a+b φ' = 0 – иными словами, прямую a-b/φ=0 —
переводя любую параллельную ей прямую
a+b φ' = C
в прямую из того же семейства
a+b φ' = -C/φ,
умножая C на φ'=(-1/φ).