El primero de ellos se enuncia de la siguiente forma: