Proof P80 of T22
Let be given. There exists integers , such that
- implies ,
- implies .
Hence if , we have
Since was arbitrary, we conclude that .
Let be given. There exists integers , such that
Hence if , we have
Since was arbitrary, we conclude that .