this relation constitutes the enunciation of the theorem