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.

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.