An integer is divisible by another integer if there exists an integer such that . Example 1. Example 2. Example 3. Properties § if and § if and § if § if and §