This question was asked in Ex 6.3, 4 (viii)

using identites ecuvalate (99)²

abel's image