Two Restricted ABC Conjectures

Abstract: 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.