Prove decidability of (d | n)