y, por tanto, con la restricción