The Theorem is Logical form and Equivelance

Problem 8. [5 marks) Use Theorem 2.1.1 (textbook) to verify the logical equivalences in the following. Supply a reason for each step. (p((pq)))(pq)=p