nondivisibility

not defined yet