Pilares Algébricos de Lo-Shu do Teorema 4b: Verificação Numérica e Simbólica da Proposição A e do Teorema B (sigma2/sigma3=2) | Synapse