  Ellenberg proved that the abc conjecture would follow if this conjecture were
known for sums $a+b=c$ such that $D\mid abc$ for some integer~$D$. Mochizuki
proved a theorem with an opposite restriction, that the full abc conjecture
would follow if it were known for abc sums that are not highly divisible. We
prove both theorems for general number fields.
