>>513
H∩Nでしょ、Hの剰余類の集合だからHに含まれていない元まで
入ることはない