This question was asked in Ex 3.2, 2

Are we using the fomulas

Muzino's image