and

, we should have

;

;

.