Definition: d divides a