Elimination rule