Elimination and cut-elimination in multiplicative linear logic