Su formulación exacta fue la siguiente: