contradivide

not defined yet