Esto se puede enunciar en la forma siguiente: