we find

Translation: