1) Sea "f" la aplicación que asocia a un entero n su resto por la división euclidiana por 7 (escogido al azar).