[ES] Este documento presenta la prueba del teorema de Solovay- Kitaev en la forma de un algoritmo clásico eficiente para compilar una puerta arbitraria de un solo qbit en una secuencia de puertas de un conjunto fijo y ...