Faire intervenir means here:

Tenir compte de, prendre en considération, faire jouer un rôle à.

so a closer literal (but heavier) translation would be:

…a theorem that let several occurences of the single m1 variable play a role.