an immediate consequence of this theorem is the corollary below