>>642
部分体の定義より 1∈Q' (1はQにおける単位元)
Q' は体だから、 1 から加法と減法で作られるZの元はすべて Q' に含まれる。
Z の元から除法で作られる Q の元はすべて Q' に含まれる。