A theorem is part of a theory