👤

A={x€Z\{1} | 7\x-1 € Z}​