Para la verificación escribimos este programa: