Código que implementação de verificação de sistema linear denso