Add functionality to apply theorem