nondivisiblity
not defined yet