A theorem