S=\{m+\varphi n\,:\,m,n\in Z\}