Una demostración en profundidad del T4