Sistema linear de três incógnitas por substituição e eliminação

Resolver um sistema de três equações lineares substituindo uma relação conhecida e eliminando incógnitas entre as equações restantes.