Teorema de TALF

Pequeña demostracion de un teorema en TALF:

A*B es la unica solucion.

Si Y es otra solucion entonces A*B c Y => Y = A*B u D con D ^ A*B = ø

Y solucion => Y = AX u B

A*B u D = A(A*B u D) u B

AA*B u AD u B

A*B u B = A*B

A*B u AD

A*B u D = A*B u AD

D ^ (A*B u D) = D ^ (A*B u AD)

(D ^ A*B) u (D ^ D) = (D ^ A*B) u (D ^ AD)

ø u D = ø u (D ^ AD)

D = D ^ AD

Por lo tanto, tenemos que D pertenece al conjunto formado por la concatenacion de A con D, o lo que es igual:

D € AD

O sease, subliminalmente, "DEAD".

Luego hemos llegado a la conclusion de que TALF es LA MUERTE.

Que guay. Moriremos todos...

Gracias a Alvarito por fijarse en este detalle.

(0wn3d!)