Por lo tanto, tenemos