剰余系を考えるのは受験常識、総積が有限積ならどうってことはない