Ideal Containment Equivalent to Divisibility in a Principal Ideal Domain