Raciocínios desenvolvidos na verificação das soluções de sistemas de equações lineares