Fix broken build

A theorem had ended up in the wrong file...