Futurama theorem
properNoun
—
(group theory) A theorem which proves that, given a mind swap machine that can't be used on the same pair of people more than once, it is possible to reverse any number of mind swaps by introducing two more people that did not have their minds swapped with anyone before.