¿Cuánto es 17 − 7?