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