Introduce new operator for Problem1_1 which asserts if two values are
evenly divisible