¿para qué se demuestra en matemática?