does not divide (written ) if there is no such that . e.g.