divisibilities

not defined yet