Su enunciado, según la terminología actual, vendría a ser: