Saber y saberlo demostrar, es saber dos