Ireland,RosenのA Classical Introduction to Modern Number Theoryです
証明は↓のprop2.4.2.です、正直Sとmの定義がコロコロ変わってて読みづらいですが……
https://i.imgur.com/1StTdg7.jpg
https://i.imgur.com/5vH3nhI.jpg