divisibility

not defined yet