9169. 'But if it has indeed been taken away [from him] by theft' means if loss has taken place. This is clear from the meaning of 'theft' as the taking away of good or truth, dealt with in 9125, thus the loss of them.