Uno comienza a darse cuenta de que se está hartando de escribir en y de que extraña programar cuando escribe el siguiente lema:
Lema:
No existe una arista c tal que aRc y bRc donde a!=b.

Porque a veces tienes tantos pensamientos, que te gustaría sacarte algunos de la cabeza.
Uno comienza a darse cuenta de que se está hartando de escribir en y de que extraña programar cuando escribe el siguiente lema:
Lema:
No existe una arista c tal que aRc y bRc donde a!=b.