for given

.