Su formulación exacta era la siguiente: