IX_ Formalização Matemática Rigorosa do Teorema Unificado CBDRAGRES | Synapse