Taifead r-phoist: Razonamiento Configural y Espacio de Trabajo Geométrico en la Resolución de Problemas de Probar