[pt] O propósito deste trabalho é apresentar uma demonstração simplificada do Teorema da Composicionalidade de Coecke, o qual diz respeito ao processamento de informação quântica agregada a estados emaranhados hpartidos. Utilizando a propriedade da universalidade do produto tensorial em nossa prova, veremos que é possível considerar todos os estados relevantes como sendo estados-produto, o que torna a demonstração bem mais fácil. Apresentaremos ainda o processo de teleportação de estados quânticos, tão comentado nos dias de hoje, e verificaremos finalmente que tal processo é uma aplicação trivial do teorema de Coecke. / [en] The purpose of this work is to present a simplified demonstration of Co- ecke's Compositionality Theorem, which refers to the quantum information processing associated to n-partite entangled states. By using the universal property of the tensor product in our proof, we will see that is possible to consider all the relevant states as being product states, which turns the demonstration much easier. We will present also the teleportation process of quantum states, so called nowadays, and verify finally that such a process is a trivial application of Coecke's theorem