De lo anterior se sigue que