In C++, m%n is the remainder when the integer m is divided by the integer n. We can define a function to test whether an integer is even as follows:

bool even(int k) { if ( k % 2 == 1 ) return false; else return true; }

Translate this function into a standard mathematical function specification.