De esto se sigue que: