Por lo tanto, es válido que