for every A that is an element of integers, there exists B that is an element of integers such that b$/$a that is an element of integers