Gracias Julian, igual mi duda era más por el hecho de que ponele que a vos te dan la especificación, esa función y esa demostración que puse yo, ok?, así a secas, te dan todo eso, y si te crees que está bien demostrada la correctitud, uno debería creer que todo eso anda, entonces se va a un lenguaje, pongamosle c++, y la usa. Después, resulta que si probás, (agarrás el código que puse y lo corrés, pasa lo que dije al hacer prueba(x,x) ). Mi duda era si la falla, más allá de la forma en que yo uso la función, está en el poder de expresión de nuestra especificación, o qué, porque sino me da la impresión de que puedo tener cosas, más allá de este caso, en la que demuestro que todo anda, y dps la uso, y en alguna particularidad falla por algún detalle.
En fín, lo consultaré también a los profesores cuando vuelvan las clases
Saludos