Criterio de Tet

Aclaraciones: no es mía, me han dicho que no diga de quien es, xDDD, pero por un módico precio.... ( no, es broma no lo digo.... o si? xDD, no)

Demostración patrocinada por Campus Nabus: 25 años formando informaticos

Criterio de tet

para toda chica perteneciente al genero femenino menos el subconjunto de las feas con avaricia ( no nos vamos a poner muy rigurosos) se cumple que:
si chica introduce teta en boca de tío entonces chica quiere algo con tio

Demostración
1) demostramos la existencia de tetas. tomamos un epsilon mayor que cero. entonces para todo conjunto de 2 o más tetas existe un epsilon mayor que cero tal que f(epsilon) sea mayor que cero, siendo f la función sujetador,dado que el teorema se restringe solo al genero femenino menos el conjunto de tias rematadamente feas ( por hipótesis),solo queda demostrar la implicación, que pasamos a demostrar por reducción al absurdo

2) sea una tía del subconjunto T = genero femenino / {tias feas con avaricia} tal que introduzca teta en boca de tío pero no quiera nada con tío, pueden darse dos situaciones:
a) tía está borracha
si tía borracha -> vista de tía nublosa -> existe un grado de alcohol representado por la función g tal que g(tio) = monstruo para algún g; por tanto, contradicción, tía nunca metería teta en boca de monstruo

b) tía esta loca
si tia está loca -> tía puede pensar que tío no pertenece al conjunto tíos, sino al subconjunto tíos wenorros -> tía pensaría que mete teta en boca de tío wenorro; contradicción: la implicación ha de afectar a todo el conjunto del que se habla ( en este caso, tíos) y no solo a un pequeño subconjunto ( tíos wenorros), por tanto, el teorema puede no cumplirse para todo el conjunto de tíos;
existe otra demostración mucho más sencilla, que es que una tía loca se comporta como una tía borracha, por tanto, existirá un L(tío) = monstruo.

conclusión: la implicación es cierta para todo conjunto de tíos y para todo conjunto de tías siendo tías = genero femenino / {tías feas con avaricia}